{"entities":{"Q744329":{"pageid":746178,"ns":120,"title":"Item:Q744329","lastrevid":64050015,"modified":"2026-04-11T17:18:03Z","type":"item","id":"Q744329","labels":{"en":{"language":"en","value":"A shape graph logic and a shape system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6351820"}},"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":"Q744329$AC569DF6-FB20-472A-A9AF-1C5E3DD19894","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e5e0365fb600f7654b5b27f8f0686e3a6aa31c0","datavalue":{"value":{"text":"A shape graph logic and a shape system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q744329$18EC5D22-36E2-49AA-B1BD-6A60D7CDB233","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe8fe9f267a558d6966e4b234e0cec08f76bb6be","datavalue":{"value":"1296.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744329$125F4B71-4CE9-4410-8BF1-69C65704A5A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"950d1a2fe0dda871bc58e691cffd365cbd4c6756","datavalue":{"value":{"entity-type":"item","numeric-id":744327,"id":"Q744327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$38B5D5EA-5054-4C3D-8649-4B055009A94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5499461810c8d0350cb350c64ca82cd165e87451","datavalue":{"value":{"entity-type":"item","numeric-id":249807,"id":"Q249807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$72E61899-6E3B-4B56-8214-B0EDD2790B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd381ef7dcc0ab96e9899b249bcf307c386ef3dd","datavalue":{"value":{"entity-type":"item","numeric-id":744328,"id":"Q744328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$D6502767-B8F7-400B-BCF4-D41F06D2476A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$87BFA470-9F61-40E6-9885-1FFCFA387752","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2441aa21fc769b692d60ef11b2b483f412b32269","datavalue":{"value":{"time":"+2014-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q744329$F0C0A75F-D2C0-4104-B0C8-6916B4EC7E80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744329$9208FB97-A5D6-4CFB-B047-B0EEB825B708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744329$B2373E74-5653-44A0-BBF6-46777AA88F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744329$99BCF2E2-C8AF-4734-98BA-C50532224FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744329$3FD9B280-81A0-41EF-91FD-EEC3E6057534","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7771168f7de72dea3a75f4a7bdacc29291f845bb","datavalue":{"value":"6351820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744329$F7F8096B-97E0-4BBB-8884-5519950918FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df3e88ed9fe548eb9841a6e56d635c7a4abc3405","datavalue":{"value":"shape graph logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q744329$91915DAE-D795-4021-90E6-A2ACDF1E8AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q744329$2ADE3468-9EE5-4D69-AA4A-C4AAD81BC15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de129244198698b13a77bd931d64d05e13de4a9c","datavalue":{"value":"shape analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q744329$4EFFEE1F-F891-4959-BBD7-76B75F3212EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q744329$1A1A6654-7F72-44B4-8768-72B199F9CF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5161bc0e495228bfd60d476fbf486fbc09256963","datavalue":{"value":"loop invariant inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q744329$98B0DCB3-EFBB-49C1-B626-F88C0FF44C99","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$46458695-C565-44BF-8791-E38D766584E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$5B407243-A511-4613-88AB-E0A34D3A05F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$342B12EB-FB2F-4D37-9003-8F2B6E07F488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$80D31D6F-AC81-4819-A745-57D63292FEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$7952D938-EC8F-42E5-A4B6-4FB1606382FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$1EC46F6C-FB86-40C4-ADA6-8F5C88AEB406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$66D6440F-055C-4F21-B507-CC8D4CB7444C","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":"Q744329$1D9F2BBA-380E-43A4-A706-131A4FE304C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"793b9066dde5911999a36c74da9c03e82a809aab","datavalue":{"value":"https://doi.org/10.1007/s11390-013-1398-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q744329$1E1CBC4B-8FC7-43EE-BCD9-16636D4D8677","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e01819d4ecdd556f6d08a39af951fb222203ac4","datavalue":{"value":"W1985313353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744329$0B73919C-55D7-4692-88F6-576EE5C3411A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$353EDBDA-26FC-4375-8086-B3953E482B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96080269f1ac57df102d277e6fe30615563ee72","datavalue":{"value":{"entity-type":"item","numeric-id":5178765,"id":"Q5178765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$12E3FE2C-4230-4FC1-B6C8-69146EB72678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ea109d56b354ff6aee8a3f536353bcd81c8a5e","datavalue":{"value":{"entity-type":"item","numeric-id":3071444,"id":"Q3071444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$2ECEA74C-2764-421A-8E6E-5F58418C16DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5bc147e554421b32de8151899e567ae26f219e3","datavalue":{"value":{"entity-type":"item","numeric-id":5348918,"id":"Q5348918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$1FE1C40D-CD5F-456F-9131-AE511AE3BC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9846a136de6407a3b8e1fec51a7185c1349644cc","datavalue":{"value":{"entity-type":"item","numeric-id":3189836,"id":"Q3189836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$A9D7DF67-C8BB-40CF-AB87-C301AAC58351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3a32751a143a211da73fec4c2725da5321c9d9","datavalue":{"value":{"entity-type":"item","numeric-id":3184673,"id":"Q3184673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$6DB71154-022D-4CBA-9D2F-4202CFBDF4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe3e421d6e27edd88e225f74f1b132c62664aca","datavalue":{"value":{"entity-type":"item","numeric-id":5408581,"id":"Q5408581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$CFC545A1-8109-49E6-B2D8-5EBC956573F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a8c0319a2245226b71de02a8c469bc6287b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3452266,"id":"Q3452266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$57E21ED9-54C6-454F-A401-45A6F3685510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c642b8a2a51ea751f61c4db5e751f89086f5237","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$2397F2E8-4737-4456-9707-1F2D64CAE06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cd8bff27d5fbec176507b9ef836e3c148f2614","datavalue":{"value":{"entity-type":"item","numeric-id":5316560,"id":"Q5316560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$C69CB314-7F8D-4BCE-9AD2-0A59CE5B7533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed3955ec9359be5a50e26c84885e35d6f9d9c1f","datavalue":{"value":{"entity-type":"item","numeric-id":3189844,"id":"Q3189844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$F9791418-D1F2-466F-B920-A03DC3A3F6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7656e21d3fa52546122875e2281b52b264240d","datavalue":{"value":{"entity-type":"item","numeric-id":3558238,"id":"Q3558238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$A16BDED1-667E-42F9-8383-76A67E23740E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$CE460081-CFCE-4D8D-B8EC-B9153A1DF936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471db0983b0adc861100e91b592763bea7bdd49d","datavalue":{"value":{"entity-type":"item","numeric-id":5255078,"id":"Q5255078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$6600B057-622A-422B-A36A-701C45B05F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4359902a223f2ffbc7e18e5d836332573e45d8c6","datavalue":{"value":{"entity-type":"item","numeric-id":2942864,"id":"Q2942864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$1E1CFFEC-A82F-4718-98C2-6CE349DCA0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744329$CC266DCF-DE8A-421E-B88C-D6E44D14B40E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d9b931f04208fce16c6922bd1651f30c0dbe4fd","datavalue":{"value":"10.1007/S11390-013-1398-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744329$E92B4C07-3DA4-400B-AE12-904344300046","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"effa353d5ae0977d1a82ed8e033d68fc0ef92444","datavalue":{"value":{"entity-type":"item","numeric-id":5316560,"id":"Q5316560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0617452063ab6fa67cc760401886701b134566","datavalue":{"value":{"amount":"+0.8424496054649353","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":"Q744329$B0544CEC-D98A-4CC0-B8B7-7D85CCA97790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58db1f8d314a511e19f105a13c922791fb046aba","datavalue":{"value":{"entity-type":"item","numeric-id":5712442,"id":"Q5712442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5eee45e6b2c1136aa88c90714fe1b6cd8c1fb7","datavalue":{"value":{"amount":"+0.80168616771698","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":"Q744329$F4AF72F1-BA6A-4294-B826-9CAEF9B02AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed86bfeb3c017556493245f5a8372a48e2d19d2b","datavalue":{"value":{"entity-type":"item","numeric-id":5758098,"id":"Q5758098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df20640d0c7b847782fef81014dd0cd17c6d187","datavalue":{"value":{"amount":"+0.7886663675308228","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":"Q744329$5C64B108-B2E9-471B-9FDE-20B3E724FE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2dd604750052f6347b1d760a77fa2c990e8d03","datavalue":{"value":{"entity-type":"item","numeric-id":5452612,"id":"Q5452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f103d7f6ddb9934c47986d1d48cc932c37eec5fe","datavalue":{"value":{"amount":"+0.7885491251945496","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":"Q744329$11DB98CF-F56F-4B78-9C73-49ECC75C8278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8483bd2708667f1cbfae2f5b79728161f8a086e7","datavalue":{"value":{"entity-type":"item","numeric-id":6039389,"id":"Q6039389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5147c544c4ba4437866e300477f01bd9c4373ff3","datavalue":{"value":{"amount":"+0.7879828214645386","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":"Q744329$A78E50A4-668A-4921-B015-7C439E307425","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A shape graph logic and a shape system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_shape_graph_logic_and_a_shape_system"}}}}}