{"entities":{"Q5596256":{"pageid":7625816,"ns":120,"title":"Item:Q5596256","lastrevid":101506379,"modified":"2026-06-06T01:29:47Z","type":"item","id":"Q5596256","labels":{"en":{"language":"en","value":"Interpolation Theorems for Resolution in Lower Predicate Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3315227"}},"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":"Q5596256$C2FA6A12-0829-4B19-B20C-24E4C3B185C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40da407574d032c3e271ac285503dbadef52b78b","datavalue":{"value":{"text":"Interpolation Theorems for Resolution in Lower Predicate Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5596256$1091E7FE-449F-4832-8A6B-A5EA57CCF87E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e7486ee98c1abad92cebb63ec7ed8e0b5f73bcb","datavalue":{"value":"0198.03601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5596256$73643E1C-48DE-4359-A669-F911BECC7DE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4e2db8c91885c3bee4dca1681933f3330b9dde9","datavalue":{"value":"10.1145/321592.321604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5596256$F488B7D6-6D7F-491A-B0A7-3DF9310DD652","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":"Q5596256$E8EA7092-D580-42A8-BD23-27761B45DF43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e293d9e9c8dba13b0feb4b9b16887fc748f70c6f","datavalue":{"value":{"time":"+1970-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":"Q5596256$29405E3F-5DB1-4557-892D-697AAB758466","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2389140bebd850b808588f31ca784c07b480507e","datavalue":{"value":"3315227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5596256$FF0DD0E3-7E34-4F26-AFF1-03861DEB82EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291be7abf7db632a8ba00746eda7cd5f3145426f","datavalue":{"value":"languages, automata, networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5596256$801333EF-31F8-49C1-9D83-262A49B6850F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc90a3a6cb7ab9d722cacde3144f4ad0accd92b","datavalue":{"value":{"entity-type":"item","numeric-id":2549241,"id":"Q2549241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5596256$E3FE4EC4-3310-42D2-8D0C-DECA6BCD2FDC","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":"Q5596256$E876CDE4-1FB7-4C2D-A548-ADB370C65DEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"988c4cb896fef3012b4f01774a1af6e1fc4e6702","datavalue":{"value":"https://doi.org/10.1145/321592.321604","type":"string"},"datatype":"url"},"type":"statement","id":"Q5596256$3DC53F0E-7A02-40AB-A37E-B98288F9442B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a15cd791bf51c672d97907fd1e402a5297231b07","datavalue":{"value":"W1976222700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5596256$2BD75F7F-E51B-455B-AF7A-522CC6A72FBE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"39440ab4de53e030d94dfde9c8605394351da5aa","datavalue":{"value":"Q128253616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5596256$19046CD8-D897-4204-B41D-D7EBA3DE1620","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolation Theorems for Resolution in Lower Predicate Calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolation_Theorems_for_Resolution_in_Lower_Predicate_Calculus"}}}}}