{"entities":{"Q4610311":{"pageid":6639894,"ns":120,"title":"Item:Q4610311","lastrevid":53321690,"modified":"2026-01-24T17:46:12Z","type":"item","id":"Q4610311","labels":{"en":{"language":"en","value":"MGTP: a model generation theorem prover. Its advanced features and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002264"}},"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":"Q4610311$7254800C-DBE9-4D04-83EB-886CE9F520C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a664ae34c4ac25fcc73e685a1ad3b18f36c89fcd","datavalue":{"value":{"text":"MGTP: A model generation theorem prover \u2014 Its advanced features and applications \u2014","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4610311$AD465429-C3C4-49DD-991A-2C9EC668D976","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6b9a4805b13a94b85164719892f6da9be0c735a","datavalue":{"value":"1412.68232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610311$1F223B2E-2C41-4B2A-8F91-1E05B1690864","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0312a78e7027ddb6fbd6f4dc8389e9f76e9f623","datavalue":{"value":{"entity-type":"item","numeric-id":1077927,"id":"Q1077927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$F29F08BB-8DCC-4F47-ADB9-49FB5D2B0DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5607f46eb5324f89d8079b77c8c7c5f3472faeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2009184,"id":"Q2009184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$72A467B0-B09E-4C30-86B3-42204D053BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b534986868bdf4ef4ad873a4784197d22824176","datavalue":{"value":{"entity-type":"item","numeric-id":2009183,"id":"Q2009183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$6D5F6798-23CF-4230-B051-2E484ABD53ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$CC194C28-6E0E-4011-A2C7-549A7BCEC964","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4610311$87B98CAB-8AD6-4AA6-BE06-86138E654E2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610311$C3468B71-C78A-4018-873B-DE7D1F00BA34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a9a61760156c92db8d93e2f384e58066d96bb27","datavalue":{"value":"7002264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610311$1BA4CE91-501C-440B-B413-917E28EFC083","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d75ee14354d8fb70779923e203301e2e0cf4c95d","datavalue":{"value":"model candidate","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610311$0CC3E381-8C71-413E-97D7-0FC19250D687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610311$E6152F7D-818C-482E-830D-A71C6F72B208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610311$35748C0A-5789-4BD8-94FF-9BEE25855D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f384098e8f2ae4ef2ba4576b8d375f29034500","datavalue":{"value":"Horn clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610311$B9875F9A-09DB-4250-ADDB-136D761B6454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6270d86bf52bcb35a49fc62468902186905b2fc2","datavalue":{"value":"modal formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610311$017B2F9B-8ADD-42CC-B239-60E73095B61A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$28DED142-D340-4C84-9932-1858A09548C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$39536688-8468-4F7F-8409-D4707CA2975B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6e63feadf3683bc55060637024bebdc7ed55122","datavalue":{"value":{"entity-type":"item","numeric-id":21680,"id":"Q21680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$400FFB2B-102A-4A40-A207-ACB376DBB0D1","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":"Q4610311$3B8A2969-863D-4DB3-98DF-C74883E96120","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66a2271dc159cc3bb571c32254a47471a182987","datavalue":{"value":{"entity-type":"item","numeric-id":3816253,"id":"Q3816253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$CCE91C29-6BCB-412F-89B9-935F40B4F433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5b36bc29ceed97d7f7df9301741351cda0737","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$A681859D-8108-4BBF-AE54-F1C751A56EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27fe6d242e44013a799380a6c3b4e77ac5900b1","datavalue":{"value":{"entity-type":"item","numeric-id":4249902,"id":"Q4249902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$67FD4512-49C7-44FB-9AF0-44DA9681B8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d701f4e3ec0808250b7d612a643c00e9f17dad4","datavalue":{"value":{"entity-type":"item","numeric-id":4264729,"id":"Q4264729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$7B4A66E7-7680-4FAC-94BE-D5F7FD319CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158bb2233935470152d2dc667c5dec4b7a43c81a","datavalue":{"value":{"entity-type":"item","numeric-id":1344875,"id":"Q1344875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$289FC44E-21F5-4E57-906F-AA854400547C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86702a2c27a2e419f342f805a15c601a0c303b4b","datavalue":{"value":{"entity-type":"item","numeric-id":1891262,"id":"Q1891262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$6A65D08D-9CC4-43ED-A04E-6A93E30B0FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$C4620141-FCA4-494B-B7D6-CCB42603973F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94837cbf421ca0a854fd08e0fbbcf104ba0bef7b","datavalue":{"value":{"entity-type":"item","numeric-id":4264737,"id":"Q4264737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$163CAEF9-7976-46AB-9594-F3F53746C810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bade6a36335738f89d892b702a4106b53a340bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$1A283251-D519-4AE2-90BD-20AA344FA796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b0af58919081b0ba1c198c5dd217c031469f73","datavalue":{"value":{"entity-type":"item","numeric-id":1820593,"id":"Q1820593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610311$84EFC071-B62C-4695-8D33-9F483662ED1A","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":"Q4610311$7D414AD1-930A-4A31-ADF6-C261D6F3AFDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e240ea4fc7130a9b4f8270408f81fbf34c1ab946","datavalue":{"value":"10.1007/BFB0027401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610311$3B5086FF-0A4F-4D69-997D-AFB57441C425","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ff1bf4551a20ec3184e4de426fbf32ff4f850a6","datavalue":{"value":{"entity-type":"item","numeric-id":4707765,"id":"Q4707765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63d36085e90e3f753e679d051ca68e869b4253d","datavalue":{"value":{"amount":"+0.9257733821868896","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":"Q4610311$DEB429A8-7104-46EA-A7EB-9AF8A8075E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b80a1877dc05a9d33de195e2d90133d7637904f","datavalue":{"value":{"entity-type":"item","numeric-id":2767061,"id":"Q2767061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc4a11798b510b63247cc20fbec26ac2b7d80093","datavalue":{"value":{"amount":"+0.8105480670928955","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":"Q4610311$D89F99E7-29DA-45F5-AACB-664622A4E685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e66d4b217be7634270492a8ad5c35879304ae14","datavalue":{"value":{"entity-type":"item","numeric-id":5688940,"id":"Q5688940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d129b19ac08c2cb08f04dc1674e51909fd5515","datavalue":{"value":{"amount":"+0.8061543107032776","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":"Q4610311$01DEE201-C6AC-47CD-998C-10709921238A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e8801dfb37ee2bcbbb7f0758599380af805cfc","datavalue":{"value":{"entity-type":"item","numeric-id":4249902,"id":"Q4249902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19491380c6644f00142644de9e9d72759a69464","datavalue":{"value":{"amount":"+0.7367700934410095","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":"Q4610311$8195920D-3229-4460-B5F2-DD85FD436E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f635a2f4785fa00b47bf0d4008bd0fa64f7d199","datavalue":{"value":{"entity-type":"item","numeric-id":4647539,"id":"Q4647539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f86834acd9046955b4e34f4d7e6940dc24e9175","datavalue":{"value":{"amount":"+0.7366205453872681","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":"Q4610311$3C156ACD-B927-4565-8B52-F9DFAB13F361","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4610311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4610311"}}}}}