{"entities":{"Q4770008":{"pageid":6799588,"ns":120,"title":"Item:Q4770008","lastrevid":40778803,"modified":"2025-04-04T16:10:51Z","type":"item","id":"Q4770008","labels":{"en":{"language":"en","value":"An Implementation of the Model Elimination Proof Procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3444821"}},"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":"Q4770008$D559399C-A261-43DF-AAC8-D80A6C44E37E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afbb5e551c3f56844a2d30af7c09aba8677db9b6","datavalue":{"value":{"text":"An Implementation of the Model Elimination Proof Procedure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4770008$3D2EE330-D9F6-47B3-8189-D4824363A6EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ecd3f152486ab1ba5d89d8810473dd7d6272eb2","datavalue":{"value":"0283.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4770008$644DBCF4-1133-4784-B3F9-D8F2A09CD60E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95c24c3be5195e1be8b183bf3dca213b44f283d5","datavalue":{"value":"10.1145/321796.321807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4770008$0038FD64-D990-491A-89BD-D64DA61CCB96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"085d61e3981d71e464620674e297afe2a45a7c3f","datavalue":{"value":{"entity-type":"item","numeric-id":4770005,"id":"Q4770005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770008$90B0F646-1B97-4B0F-9C3E-A07BCB01539A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67ebb156bb8b416bbae8dd2cbbea32ca7e0ce15","datavalue":{"value":{"entity-type":"item","numeric-id":287331,"id":"Q287331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770008$1F2C26B4-B3AE-43D8-BB02-DD76AA0F8EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12bc71cd4d00e24bf2b264382d32ce12762899f7","datavalue":{"value":{"entity-type":"item","numeric-id":4770006,"id":"Q4770006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770008$75B190EF-45A6-4149-8964-EA1CF6309D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e4dcd294626d6238fe4c091a213baa704561b37","datavalue":{"value":{"entity-type":"item","numeric-id":4770007,"id":"Q4770007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770008$967C2674-FB59-4130-B5C7-3998352C19AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770008$0ED77110-CE10-49B3-A175-F520242C9F4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4770008$93070A33-42C1-490B-9E5C-83B039E69C39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4770008$A4C97BDE-A58F-42AE-8C82-60B0B30DFD84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faeab96bbc368d7b84f0b627a6acb3ccd0dfb240","datavalue":{"value":"3444821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4770008$AC93DAC1-46C9-4734-82F0-B3D5B3B52CDF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"675c6d04c445b07426dee51dca814e5a861e0181","datavalue":{"value":"Q56814474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4770008$1C62723F-44EC-4E82-A35B-BFBFFD8A68D9","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":"Q4770008$AEBA997C-5CE0-41D5-A5A9-947FBE1ED320","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be22a878485ee119996f9b7b56f3eda43f0fee69","datavalue":{"value":"https://doi.org/10.1145/321796.321807","type":"string"},"datatype":"url"},"type":"statement","id":"Q4770008$03FC7AC6-59E5-48ED-A735-DFCF3C871D93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2acac209da71e565f67def67385a8fb23fe4116b","datavalue":{"value":"W2062032114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4770008$B349DF4A-F50F-4578-B921-BEA37E53ADF1","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9f76981afd96a9bf4884f2a38e5814e3a4d68c1b","datavalue":{"value":"journals/jacm/FleisigLSY74","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4770008$B8A4EAE4-D008-4421-A4B8-3F90A53541B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d205aa890fd4b97bdd81ee6a8ff8d7fef37acca1","datavalue":{"value":{"entity-type":"item","numeric-id":4647531,"id":"Q4647531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a5a4b48b1862537d7dee489612415d32a75099","datavalue":{"value":{"amount":"+0.9074328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4770008$395C343A-C9FD-4728-801B-C0095AFF5EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913fc751b45e48cac9dbb02d65e0dcf57f87f99c","datavalue":{"value":{"entity-type":"item","numeric-id":4261066,"id":"Q4261066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22fafcee6a6fa46a3976b9f718ac214f125b629","datavalue":{"value":{"amount":"+0.90474045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4770008$443F6B28-96F5-4A79-B67B-B906943E72E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f547eaf70f648ab42babcde2f65f0bfb99b436cf","datavalue":{"value":{"entity-type":"item","numeric-id":4282522,"id":"Q4282522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f4ae676d6a0c23e05e21760b029726e9ddead8","datavalue":{"value":{"amount":"+0.8950221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4770008$F98DF3F7-0D9C-4052-8FAA-C97A5028578F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db67625daf776bd3bbe2e0f01c9fcb3b92625069","datavalue":{"value":{"entity-type":"item","numeric-id":4934523,"id":"Q4934523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65d22c61ed85f3aa05191c17fe5bba8b67b3451","datavalue":{"value":{"amount":"+0.8947725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4770008$2DC6831A-B282-4BBA-8C5C-E9E022646EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961630ec63dff09f29a3c353ff4cbc21b52a7672","datavalue":{"value":{"entity-type":"item","numeric-id":5210764,"id":"Q5210764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820cac2bec3a6fb02e94b2927d7c61458bb3ce9f","datavalue":{"value":{"amount":"+0.8854605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4770008$E04F62D4-0BDE-4499-8576-80D8A9CE229B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd13c5579dca73c0f4caad1f3934529b31f1ac08","datavalue":{"value":{"entity-type":"item","numeric-id":1367083,"id":"Q1367083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51e7b374a9ead9ce9699d55b9fd98c5548cc949","datavalue":{"value":{"amount":"+0.88037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4770008$3FF04293-E7DB-4EAD-B4E8-AF65013B7D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dda344dc59111ebdc243aa7385d8c420b1f3686d","datavalue":{"value":{"entity-type":"item","numeric-id":2767011,"id":"Q2767011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8e677f17c6b26c639524f36f4f3c1b74ea1526","datavalue":{"value":{"amount":"+0.8793584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4770008$BD699096-37EF-44C6-AE07-6930BECDDE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381f565f463e4304e5538756b9c57fdc790c4603","datavalue":{"value":{"entity-type":"item","numeric-id":2639044,"id":"Q2639044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f62a86d15ace9e9faa514e9a9828e405ecddee79","datavalue":{"value":{"amount":"+0.8723801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4770008$CE0F183F-D151-4419-84AF-BD34D819C13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da67bee7d32b81a32a260d57ab1516fbdd79779","datavalue":{"value":{"entity-type":"item","numeric-id":4202953,"id":"Q4202953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b5c0162953ba13ed809c7ac38be8498586d319","datavalue":{"value":{"amount":"+0.86934686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4770008$B79ADBF0-68B4-4396-A12B-0172AC9E7005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25855eb84a544d430c53bcfe0477292d6e6d479","datavalue":{"value":{"entity-type":"item","numeric-id":2331070,"id":"Q2331070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618f6c22d0e820a27361c02d4b83982314e40bfd","datavalue":{"value":{"amount":"+0.8689123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4770008$F6E41650-87B1-4538-AF2F-B29149E5F933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4770008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4770008"}}}}}