{"entities":{"Q2555384":{"pageid":2566127,"ns":120,"title":"Item:Q2555384","lastrevid":79020008,"modified":"2026-05-06T12:57:59Z","type":"item","id":"Q2555384","labels":{"en":{"language":"en","value":"An interpretation-oriented theorem prover over integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3388565"}},"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":"Q2555384$825CA413-39F1-4857-AD98-7C0623CEF431","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7905fa20663c57e3c5720b0477a54929edb75d1","datavalue":{"value":{"text":"An interpretation-oriented theorem prover over integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2555384$F37BF895-B3C9-4539-883D-4CE3BE299674","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1090f17759c463df23c81481006af8e6825c81f4","datavalue":{"value":"0245.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2555384$F8A14F01-3638-4237-B600-F4AE36F55C8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b15875f4579120a06164cccc7be3eeed1e2559f8","datavalue":{"value":"10.1016/S0022-0000(72)80024-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2555384$B377EEA1-2059-4BAE-B795-4B3154F6EC2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef1d51f231298035930cfe3e33ddf44ea3cced7","datavalue":{"value":{"entity-type":"item","numeric-id":2555383,"id":"Q2555383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2555384$CCA60F06-9465-493D-A091-51C003A1E3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6602fe4294d5a27f1df9f54e5f28bd2cc9e0dce","datavalue":{"value":{"entity-type":"item","numeric-id":1394120,"id":"Q1394120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2555384$391F2000-EA35-4F90-9725-7DB1AD8F11D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2555384$F5E27A90-5507-461A-B285-F905C1ADB023","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-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":"Q2555384$12EC3225-7996-4DCD-82E8-E5FCF95F6818","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2555384$2233FD95-2742-4D79-80BB-E278C640072F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2555384$F57C8C80-6367-49CF-8352-37F054B6479E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2555384$D52D39E7-52A4-4945-9EEE-D9BD127C0273","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"958c28be4724ade3773346d54cabd47d7e24823a","datavalue":{"value":"3388565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2555384$6143B0A7-B78B-45C6-9724-375FD807D019","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":"Q2555384$1025D669-B381-4D40-8359-DD5E91FA42BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2555384$135186F8-C189-4B01-98A3-FAFB0EC04F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2e9956e014ae28c735471b8fe8bc11ac76e0c0","datavalue":{"value":{"entity-type":"item","numeric-id":5670164,"id":"Q5670164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2555384$62009983-3AD6-430E-8EC2-ACA9CA719A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197321586b52697dc5005c2bf7b5e782bc94762d","datavalue":{"value":{"entity-type":"item","numeric-id":1131250,"id":"Q1131250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2555384$F80E9844-CB68-40A0-BF8A-8A270017EA3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee3b6a206c8abe76bb2543cdbbb6afc6c7de1aa9","datavalue":{"value":"https://doi.org/10.1016/s0022-0000(72)80024-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2555384$953FD5AD-B90E-4FCA-AED6-9454163B75E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30b509d7385dd7e0ba8151649419db67abfed576","datavalue":{"value":"W1964401374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2555384$5078F20E-546B-49F9-98EE-2B56A0D43A15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An interpretation-oriented theorem prover over integers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_interpretation-oriented_theorem_prover_over_integers"}}}}}