{"entities":{"Q4086735":{"pageid":6116335,"ns":120,"title":"Item:Q4086735","lastrevid":40860195,"modified":"2025-04-12T01:41:25Z","type":"item","id":"Q4086735","labels":{"en":{"language":"en","value":"State-space problem-reduction, and theorem proving\u2014some relationships"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3506198"}},"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":"Q4086735$DA33D55E-8C13-4190-8407-573F3611063C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afad32a36b79652dbe63c3f3b0d34f8a75c41e0e","datavalue":{"value":{"text":"State-space problem-reduction, and theorem proving\u2014some relationships","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4086735$CBC962A1-1C6D-479A-AE5F-2B595A08B995","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92f64958a84c1008d04393800ea8eabf2bdcdec5","datavalue":{"value":"0323.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4086735$952026DE-BB2C-4547-A6BC-8D8F4CD0236A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66a3b2603c70e92d0307d27c16018157c3942fda","datavalue":{"value":"10.1145/360666.360672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4086735$D4EC9778-B089-4BE4-9126-129BBE84A7BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"674b77a91dc8300424d8a32840463665fbda868a","datavalue":{"value":{"entity-type":"item","numeric-id":1212801,"id":"Q1212801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4086735$58A370A9-D9A5-4D11-BDC0-8C4C17D86390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a1df6940ad8b72a28bea22198189f244677cda","datavalue":{"value":{"entity-type":"item","numeric-id":1062475,"id":"Q1062475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4086735$6D400A50-3A61-49EF-9F2B-7FB57CDA532A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q4086735$7EC568ED-CA6D-48A5-91D0-5F6DF8C536B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4086735$3C10AFE5-3EF4-4B25-A2F0-B33896265825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4086735$86BF8BDA-EDA7-4618-A79B-3ECA8D9B91EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a784276b4e09d379c8147965411b455c3d79751","datavalue":{"value":"68T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4086735$6E24A514-620A-4D16-AD1E-CE612087A3C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6aa963d09c1e890c626a086380f891e89b8fb7fb","datavalue":{"value":"3506198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4086735$6662A336-1DBA-41A9-8ADB-4A9DDEED717B","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":"Q4086735$1FC1C095-6E5E-4AF0-89E6-F9D94FA41669","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7074c7fa2f0e47e868620a1fba07e05083059b45","datavalue":{"value":"https://doi.org/10.1145/360666.360672","type":"string"},"datatype":"url"},"type":"statement","id":"Q4086735$FD299F79-A4B4-439E-919D-CA53FA7E4F92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81d6609cd60a164c2948372202527181752963f7","datavalue":{"value":"W2017894584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4086735$60E0B213-9D26-4960-B27C-D44B40120100","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4086735$39DECFE2-A0B5-4F4A-9921-E0CFC040694F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4086735","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4086735"}}}}}