{"entities":{"Q5607225":{"pageid":7636785,"ns":120,"title":"Item:Q5607225","lastrevid":34533736,"modified":"2024-06-12T00:31:30Z","type":"item","id":"Q5607225","labels":{"en":{"language":"en","value":"The decision problem for formulas in prenex conjunctive normal form with binary disjunctions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3329003"}},"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":"Q5607225$A7165A12-AFA2-4257-BA27-0A142EE42767","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1227d7fbb769f664d19eb0f38dd803cf9affa8a0","datavalue":{"value":{"text":"The decision problem for formulas in prenex conjunctive normal form with binary disjunctions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5607225$3496C989-F926-41A9-AFCC-603A905FA03B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fbee2a282ef784e8070b55735c52e118bd21a65","datavalue":{"value":"0207.01301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5607225$45FB8198-7DFD-4468-87E8-82616A3E85BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca57b38ecf1c014a397354b61f966884bdfd904c","datavalue":{"value":"10.2307/2270511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5607225$F52CB803-1DC8-493D-A522-3455BDB3D565","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5607225$DE35920E-FED7-4A76-8A6B-93A16AD51FC4","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":"Q5607225$66B9C2D6-8D0B-40A5-B332-98A08A150B4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5607225$4ECC4499-0679-472D-9F36-8F4D6A60E63F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a710828f512c5a933a027e46bb027fba05421fd7","datavalue":{"value":"3329003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5607225$D59E4230-148C-4B59-8724-41EDB5F57BCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bd083583c0967091b3198ec419f4ead57080570","datavalue":{"value":{"entity-type":"item","numeric-id":1237718,"id":"Q1237718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5607225$468C3E2E-9DDF-4A13-A8DE-227D1B697D94","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":"Q5607225$7C35A825-4EA6-4686-8276-16479E3BDE38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08548fcd2067ae9409dd53e389748019aef0dff9","datavalue":{"value":"https://doi.org/10.2307/2270511","type":"string"},"datatype":"url"},"type":"statement","id":"Q5607225$006114F7-181B-40E7-8B66-C0FBCBE9F342","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ebf354baad555bb66d9cb861a1ec729b0547f6f","datavalue":{"value":"W2002672992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5607225$215CB50E-0933-4F33-A495-7BC049ECEEC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73552abfce49a9e7ce252a862d78cd0b3073d9a8","datavalue":{"value":{"entity-type":"item","numeric-id":2531921,"id":"Q2531921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5607225$1180BF1E-6B36-4462-9523-51DEC4689981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2255738872d0c1adb826d6319e2ce8dd51fd9231","datavalue":{"value":{"entity-type":"item","numeric-id":5528151,"id":"Q5528151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5607225$0803F745-FF1E-4F06-ADB1-940F5182C162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ded83d0f161980f327e27b9ae3adcd97b47672e2","datavalue":{"value":{"entity-type":"item","numeric-id":2395198,"id":"Q2395198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5607225$34D35603-CBB7-4BF4-9198-1C20A18C9079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07e6497d02c445114729e46fcc2822a7b90e18b","datavalue":{"value":{"entity-type":"item","numeric-id":5556426,"id":"Q5556426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5607225$9FAA0596-7273-4931-B96E-5B4FE9B80488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85b992a547600b84caee010e54e47cb289d3eaa","datavalue":{"value":{"entity-type":"item","numeric-id":5545955,"id":"Q5545955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5607225$705EDF60-C746-4EB0-8D2D-53BA0C3D9766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6edba6cc7078f293d5517e96505fb988ccc3fe","datavalue":{"value":{"entity-type":"item","numeric-id":2626205,"id":"Q2626205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5607225$0162BDD0-7194-4B3B-BB1C-BEB19C71F7D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5607225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5607225"}}}}}