{"entities":{"Q1254112":{"pageid":1264862,"ns":120,"title":"Item:Q1254112","lastrevid":42980815,"modified":"2025-07-16T14:16:16Z","type":"item","id":"Q1254112","labels":{"en":{"language":"en","value":"A linear-time algorithm for testing the truth of certain quantified Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3619340"}},"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":"Q1254112$77D72C1C-5654-41A4-90D3-068EF9FCE03F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23f892cf76ffbe9ff9454f7c15cc3adb2730a0e5","datavalue":{"value":{"text":"A linear-time algorithm for testing the truth of certain quantified Boolean formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1254112$1A299618-1217-484E-B46A-8CA8AB671A1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"918d2f591a695924f65347ac825de37501c64bc4","datavalue":{"value":"0398.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254112$3082880E-A103-4323-9F28-477E6DFD1178","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"478ce54c215441f216fde85dbc523b08f4063436","datavalue":{"value":"10.1016/0020-0190(79)90002-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254112$2DCF1A7A-03DF-4D13-AB2E-826FC2E1CE42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f838dbab81f0c5d26326d1c7b15c36bdd276d4d","datavalue":{"value":{"entity-type":"item","numeric-id":235184,"id":"Q235184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254112$72BE9660-BB43-4895-BE86-84DE6C435201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70df9cc625f558fa336e17a08fd80e973729c5e7","datavalue":{"value":{"entity-type":"item","numeric-id":1254111,"id":"Q1254111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254112$570A5ADE-EF84-4C93-9481-6866A53D4CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"065c91f208b67eb2296cd8ea5272c33efd202f25","datavalue":{"value":{"entity-type":"item","numeric-id":598808,"id":"Q598808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254112$D7D7045F-96DF-41E8-AF05-DC884B38EACA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254112$8123C0C7-86BA-482E-94F1-AB5C527323F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1254112$211568AA-D91A-4798-AEE7-6B46EEF615CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254112$FD64FF3C-FBB8-4559-B024-C8D6BD8BB1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254112$3F09DEE6-4A9A-45C3-971D-C0F4C942C05B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bf852438b624266c9c6dc91240077da5f5abdec","datavalue":{"value":"3619340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254112$75E4A796-6A77-4909-B0F9-A3A64B0C42AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d1e933637354c598f5fc6b2d006d7ed3a3dd17a","datavalue":{"value":"Linear-Time Algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254112$853197F6-48DF-42CB-BE6D-1F632B0AE8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"570a96fe7ca24cff31d02181c35fef195ae2f804","datavalue":{"value":"Testing the Truth of Quantified Boolean Formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254112$4F200DCE-6828-4F5F-821C-FE8DA714DBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fde423c249482bdbfd3aa4c9e1abd248441e3da","datavalue":{"value":"Finding Strongly Connected","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254112$1A55C51B-BA14-4EDF-96D0-6235D5B36A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a72b68557f8bfcc76da0957a9e65e0c7f2c55799","datavalue":{"value":"Components of a Directed Graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254112$F7588359-BE3B-487D-976D-437DB8A88239","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0143e33a0427d0ce866f9c6e6488020d265a5510","datavalue":{"value":"Q29394502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254112$587E06CF-5D45-4415-97AA-32A3E21C4DB3","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":"Q1254112$55BA4699-74DC-4B6F-A54D-CDD750FCC262","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f082f7b74ff376e8146e1542563255865b1b041","datavalue":{"value":"https://doi.org/10.1016/0020-0190(79)90002-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1254112$DB4060BA-427F-4A16-A18C-6F0270576644","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9133fbe8b05bbf0f535848e14f705f3e2fd48178","datavalue":{"value":"W2031823362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254112$D964C375-85B3-4A31-9907-3AE9005B7417","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254112$C2E6C31D-4AC6-4F57-90FB-98519365F5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254112$35D2F2F5-9F8C-4459-83E9-82AE5612BB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254112$09EA4A2D-0E14-4027-8327-E2116B885594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e16d1dc4052e71d6b4ce452bdd1e1e49e7dff8b","datavalue":{"value":{"entity-type":"item","numeric-id":4144192,"id":"Q4144192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254112$2C7B9FB1-D9E1-4952-AA0D-F55B24A7A39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254112$EA2C0590-5398-4FA7-BC10-540138E1BCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254112$17B445D0-6A0B-45E1-A1D7-2D576FE6D2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254112$6FFA90A0-CB91-47E7-B632-0C62D9A254EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1254112","badges":[]}}}}}