{"entities":{"Q3541692":{"pageid":5571596,"ns":120,"title":"Item:Q3541692","lastrevid":80954381,"modified":"2026-05-06T17:22:57Z","type":"item","id":"Q3541692","labels":{"en":{"language":"en","value":"Efficient Well-Definedness Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374233"}},"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":"Q3541692$3533FE02-B8E6-409D-8C05-444223BF0D2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59256209a42428257ee9d3e2b547d199884e9689","datavalue":{"value":{"text":"Efficient Well-Definedness Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541692$7E948771-8F4E-4178-87E4-C7B3F9FA868E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb500a55e719f2eeb61f8f3a9d8d783f1e747e90","datavalue":{"value":"1165.68404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541692$152F09F4-A3E4-4DDC-A6BE-87BBD6944D33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"132af12cc6d453f96e61d833a0c9beeb48319703","datavalue":{"value":"10.1007/978-3-540-71070-7_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541692$484270D8-0394-4CF0-A4DA-656A4D82E169","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9c5252bbdb225e9bc61f376139948703221e91","datavalue":{"value":{"entity-type":"item","numeric-id":3541690,"id":"Q3541690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$C37AFD98-AFBA-47AD-9461-FF2076E24BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99cc5780872fde33eb92e2707a90697c7b2110cf","datavalue":{"value":{"entity-type":"item","numeric-id":2486584,"id":"Q2486584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$7D7DA233-3E87-4B99-A703-ABA09C70DDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"742f3682fc65f20b19527660dd165ecfc0062b55","datavalue":{"value":{"entity-type":"item","numeric-id":3541691,"id":"Q3541691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$630666FB-D08F-4A39-B8FD-8B7B01ECBA6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$A6E08EF4-2A82-407C-B28E-D2C2CEEA1603","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541692$6AE6BAF1-1DC2-49A0-9FCD-463CA1B71D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541692$471A48F8-C829-4C92-B570-4253405EC226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541692$33047607-D16D-4668-9D76-E9F6D07DFB7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42bb72455fd05abb2a8cb7fe976dcdb2e71b2c20","datavalue":{"value":"5374233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541692$BBC78A69-81D7-4CCB-9E3A-9A20297CB019","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":"Q3541692$0F66BD3F-60E1-4E1F-A744-1C384188051E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81bbaaa3592c8b572cb3cf78bcb0418fce7d3bf5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71070-7_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541692$EACE103B-8D69-4E49-87BD-D7CB43B0DFF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d121aed390b0a9b6a406fe09c135e7ca6af31182","datavalue":{"value":"W1772698657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541692$D4E2C9CE-D82C-4CDA-91D0-9D2A81379BEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$562C1C84-6058-468A-8CFF-566F0B74397B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a8db0c9d2e475257c3fad4546177506b22344b3","datavalue":{"value":{"entity-type":"item","numeric-id":4472186,"id":"Q4472186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$BC3F71C6-7516-4999-9E8B-D079E39B7462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be67f799ffc5b3fd133657f657d0609a463820d","datavalue":{"value":{"entity-type":"item","numeric-id":5312942,"id":"Q5312942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$C6911CFA-443A-4434-82F0-E259EF34895E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f474b409a8f3415f67c4fa840940f857e860d83","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$3D3CC608-2463-48AF-B98A-F974F2E3E58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbf516d618c4e40e5cc45192848e3901d56db66","datavalue":{"value":{"entity-type":"item","numeric-id":2848053,"id":"Q2848053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$74360039-4281-4C7D-B24A-00BF2A4286A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4ba420858bc7fe672f0d07fb41a936dcdfdf12","datavalue":{"value":{"entity-type":"item","numeric-id":2643125,"id":"Q2643125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$811B4557-2B2D-4282-AFA7-0783A9FF6001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$C6D5498E-686A-4E51-AAD8-5308026026BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093682f82b55047546d767040082e61c8c07c786","datavalue":{"value":{"entity-type":"item","numeric-id":4282672,"id":"Q4282672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$06B6CBBF-41DF-4D34-8727-FDEF60E9CC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a9f6f3e4ca1c5d6361225c9807c1701d5a644","datavalue":{"value":{"entity-type":"item","numeric-id":5703738,"id":"Q5703738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$5919AA6E-CB05-4657-8469-58AD89ECD869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49499fa413e0bbb6f66deafc0ad08df89338b209","datavalue":{"value":{"entity-type":"item","numeric-id":3050399,"id":"Q3050399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$229F7BA8-DDCD-4385-8347-7514840D9CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$35B04179-64FB-4B5F-820D-27E11A16BF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$471F8B92-49C6-4128-8178-475A43F288A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$C95EA9AA-205F-4F34-BEFA-C3E875D7C23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$E3E9C32D-B255-49AF-B585-1E5E4D89227F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a6b176e3d36250fa66d3cb07a166df9c752b80","datavalue":{"value":{"entity-type":"item","numeric-id":4269811,"id":"Q4269811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$EFBF7299-1AF5-4787-9E1D-7136AB40526C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83aab7d5d6eb2bec6601ce6de32b8a897892df8","datavalue":{"value":{"entity-type":"item","numeric-id":4039769,"id":"Q4039769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$662F545D-3696-49B1-A244-59E0E36502A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07441aec0715add91dbf903fea4c539fe7c16a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5210777,"id":"Q5210777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541692$D68C07BD-C92E-498A-9C5C-7422A250172D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac465e3dfb86a054486c108bd7298a829cf3bea2","datavalue":{"value":{"entity-type":"item","numeric-id":2848053,"id":"Q2848053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa6a86ba29af7f3763da994e5277c60df2b7df3","datavalue":{"value":{"amount":"+0.6730440258979797","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":"Q3541692$9B3739A5-9C0B-4C29-BB8A-AA2C05937513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46385a193d3ef73b926a28b9987e51a471bd3c84","datavalue":{"value":{"entity-type":"item","numeric-id":5387856,"id":"Q5387856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e89f2ef78c64bab2653c77f25754e0190872c2","datavalue":{"value":{"amount":"+0.6583170890808105","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":"Q3541692$792831D5-2D29-4C1B-B7BF-E7F0B7415973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671ec0799344f16cd6c6d298783843edad6951e1","datavalue":{"value":{"entity-type":"item","numeric-id":963419,"id":"Q963419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eedfb27b684dfe045c7135c0e10a79ae688e21c2","datavalue":{"value":{"amount":"+0.6582803130149841","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":"Q3541692$3C2B743B-77A2-4F89-8373-C15ABBDC6EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"754e8bf727a97683f4711e4a0a516167312f2a82","datavalue":{"value":{"entity-type":"item","numeric-id":1271854,"id":"Q1271854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a9cddab92123265b8ba8e729c0a084a9116e3b","datavalue":{"value":{"amount":"+0.656485915184021","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":"Q3541692$561134FD-5AA7-488C-83A8-F19D39DAB387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19682237f5a87ef8e27d9fc3230804b28d67d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a9cddab92123265b8ba8e729c0a084a9116e3b","datavalue":{"value":{"amount":"+0.656485915184021","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":"Q3541692$D0C4636F-85F0-4B6E-A56B-A4BF0F28FC9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient Well-Definedness Checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_Well-Definedness_Checking"}}}}}