{"entities":{"Q3303932":{"pageid":3314640,"ns":120,"title":"Item:Q3303932","lastrevid":53785697,"modified":"2026-01-25T17:29:27Z","type":"item","id":"Q3303932","labels":{"en":{"language":"en","value":"The automatic detection of token structures and invariants using SAT checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228197"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$0C731092-FC27-48D2-98D9-44A3BB23E8ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bef7ff9a3fb6b65958ff91301a26631873a2620","datavalue":{"value":{"text":"The Automatic Detection of Token Structures and Invariants Using SAT Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3303932$987C36FA-35BE-4D4E-8AC5-9C0213CA644D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb905d175e56774d9109186d92337fc8c98823aa","datavalue":{"value":"1453.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303932$5575A8BF-CFFB-426A-A740-843CC006E7E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71035c7122a7f206b8fd025b64eeb72e81b8fc6b","datavalue":{"value":"10.1007/978-3-662-54580-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303932$9A23B8AF-C081-42F6-A520-665352F6A300","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9ee90f8cb14e30a2f979418d0943f6e0ecd4f3b","datavalue":{"value":{"entity-type":"item","numeric-id":510896,"id":"Q510896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$3D8D1453-368E-4FB2-8578-9277188736CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$5855AD43-1041-4394-BD99-BF8798502A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"203078983d22de9e3d26d90afa910c7a3f494328","datavalue":{"value":{"entity-type":"item","numeric-id":2281623,"id":"Q2281623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$C0A2AF1D-87CB-4C8A-A4CE-CC06FD649AB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$BB57B4DA-785B-4096-9FDF-2A39263261D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3303932$DB514CA1-B6D5-4CFC-B8E0-2D3232B2CF03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2e51a2b9cb5199633c305894ba4da152dd28dde","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:3a1db064-937f-40ea-9fb2-749c47bd593f","type":"string"},"datatype":"url"},"type":"statement","id":"Q3303932$592E3474-0061-4F6B-A3DD-5377B251381C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303932$DA7B804E-FD45-4C7A-B459-3176B887015A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d22d1a323f60f361dd353997444653e88e91e80","datavalue":{"value":"7228197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303932$8B674EE4-2ADA-4AD0-A961-25728CC7A91E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97873e1476593719fe9ae012a9df7469c6caafee","datavalue":{"value":{"entity-type":"item","numeric-id":24316,"id":"Q24316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$7BDE585C-223F-4300-9C3F-548CCA2A9B66","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$C4EE7FCB-3A9A-4904-80C5-3A728AF99991","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"099943a27e65b099775b9b812d29905f7c96916a","datavalue":{"value":"W2600980051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303932$B59E8268-6645-48EB-88D1-DCE577183FD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9237de6033a3a4bfb15ea1df98f405c41605e0","datavalue":{"value":{"entity-type":"item","numeric-id":2281624,"id":"Q2281624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$56584E26-D02A-4303-A94D-214830ED3313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$EE2521BC-A8F8-4E80-98ED-733C197327C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f13b8d2afaa8109e42b30c9885257af62a17ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5711509,"id":"Q5711509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$6DEA3A5A-AFBC-4F49-9A7C-8BA3567DAB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$F2D6A09C-D8D8-4987-9D38-F8713E1C3A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$C23FF0E8-33AA-4C0D-BB2B-E5FAD5492A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$DC643A58-552C-4810-BAF1-B4D50264D93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5be0979d1209d57d04996cc9833e9589bb1280","datavalue":{"value":{"entity-type":"item","numeric-id":4608669,"id":"Q4608669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$555584BE-6AB8-48FC-9C5C-A35195900DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051d44a76227677fa3c229268c0fb30b56526023","datavalue":{"value":{"entity-type":"item","numeric-id":2894552,"id":"Q2894552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$D40F99C0-DCC0-4250-8EC3-354BFB86F62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$A94A3BCF-4761-4DCD-A5A8-D270C85CA19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde8fd4c260ebd9c4c907462ba73d0705c217dca","datavalue":{"value":{"entity-type":"item","numeric-id":333322,"id":"Q333322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$852F5D04-A685-45B9-AB52-46F9C79C0A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303932$F784B508-CC68-44DC-B722-0B35BEA4B452","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3348abab44a4a20891986501530c2825bb8ee53","datavalue":{"value":{"entity-type":"item","numeric-id":3789056,"id":"Q3789056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae337f079320518a0ccceaba796a1fe38318c18e","datavalue":{"value":{"amount":"+0.6590685248374939","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3303932$25324CD2-2565-4956-9475-993868AF9436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3cf46d6cb6f01d59305cc3580a05a3fe756b3a","datavalue":{"value":{"entity-type":"item","numeric-id":3179417,"id":"Q3179417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d052cf70e9764d616d4dd4c6db602492c3bb6cd","datavalue":{"value":{"amount":"+0.6503006219863892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3303932$28C9E543-0B7D-46B8-AFB6-A75EFFC9FE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f068ff86d7554bbcfca76f1f9c0989e2795e89","datavalue":{"value":{"entity-type":"item","numeric-id":2418047,"id":"Q2418047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438aef4c9306d0c42cbe2bee806b51ae5a882c7b","datavalue":{"value":{"amount":"+0.6497635245323181","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3303932$F69EB414-B8DC-4539-BEA2-56B010C03850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c12a9360debf5552acbfb3b98a869d4b7dbe123","datavalue":{"value":{"entity-type":"item","numeric-id":5044769,"id":"Q5044769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"367e38827af5b350e995236810913c8ebe0cb2cd","datavalue":{"value":{"amount":"+0.644719660282135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3303932$22A115FF-F310-462B-9CC8-47C10DE8122B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af650e6c2be9eddf0dde623ee7001258c78d51e","datavalue":{"value":{"amount":"+0.6404539346694946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3303932$91401692-3D77-408E-AF4B-F759A7CD6D99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3303932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3303932"}}}}}