{"entities":{"Q4401927":{"pageid":6431526,"ns":120,"title":"Item:Q4401927","lastrevid":34560004,"modified":"2024-06-12T12:10:37Z","type":"item","id":"Q4401927","labels":{"en":{"language":"en","value":"Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3435464"}},"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":"Q4401927$B5BAF182-0B4A-4770-A053-0DCAA6416655","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"743626ac73cbdee2aaba6493657fac8be6cceb5d","datavalue":{"value":{"text":"Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4401927$1C911230-EA1B-494F-BE82-2677BE81271D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f1cf13765a16a51f9d6006ecd83031fdf185a5d","datavalue":{"value":"0277.02009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401927$1D488180-FC0F-41AC-9AA7-3EF0A24A4B33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cce00b864782c8e91a1cad69ece79bc39e4d1dd","datavalue":{"value":"10.1007/BF02025119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401927$BB0C0431-EA88-40E5-8644-645AAA479818","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00c4782e45b26bef58dbebc0beb0d7cb311ad83","datavalue":{"value":{"entity-type":"item","numeric-id":204637,"id":"Q204637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401927$F0B21ADE-F526-457C-BEAA-D9E902E3AAD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401927$AF97C357-1DFA-4632-8D88-4F99EF84ED48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q4401927$F5D43D5E-B5C2-426E-8DB4-BAFAB39CD5B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef3bee128d032881364415ebc4e08369ec0389af","datavalue":{"value":"https://eudml.org/doc/137885","type":"string"},"datatype":"url"},"type":"statement","id":"Q4401927$B9DD9322-7D82-4A94-8359-E14C55269C3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401927$F7666717-A40C-433E-94B6-13D32BAD955E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecf7571c52a4b170e165595e902602322143b129","datavalue":{"value":"3435464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4401927$037E4D5C-70F3-49E0-9BAE-479D96F613FD","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":"Q4401927$B9BD6E7D-500D-42FC-AB60-9287C33D1E77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4202f09d7cd72f0d6bd2fae7066a0a1771e5069","datavalue":{"value":{"entity-type":"item","numeric-id":5639707,"id":"Q5639707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401927$BFBDCFDB-2791-4EA1-B5A3-0F1AF681904B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2feb053caa732f13b4a9204635e536fb1d84b52a","datavalue":{"value":{"entity-type":"item","numeric-id":2626083,"id":"Q2626083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401927$4E7D455D-877F-451F-BFE1-732A13D40150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2254ed0e3b7e9c9aebe32d79402c87adff452ff","datavalue":{"value":{"entity-type":"item","numeric-id":5723180,"id":"Q5723180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401927$8FB7CAEB-CE47-4C1D-A300-551BA3830EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98d72acfebf9bfd11a3295f687b15a19f43b28a","datavalue":{"value":{"entity-type":"item","numeric-id":5812178,"id":"Q5812178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401927$BEE5115C-B5BC-479A-82FC-67D433C848DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda2db14c950cfacb2d9bab387b35d1aadfc67b0","datavalue":{"value":{"entity-type":"item","numeric-id":3284606,"id":"Q3284606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401927$E31009CF-533D-4C74-962F-6CC24A6FA7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab88b096e08b4567c939a3eff646f25c1ba2500","datavalue":{"value":{"entity-type":"item","numeric-id":5783650,"id":"Q5783650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401927$2D5232DA-FD24-45EF-8C5B-89E3DE5BF2C4","rank":"normal"},{"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":"Q4401927$19E04221-3363-4F43-926B-028AB27561A9","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":"Q4401927$EA1EB949-EE08-4EF2-BB2D-7DCE0B5D07CC","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":"Q4401927$874D7686-5A36-48EA-A768-FD56839C64F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"237b66c5c138b5b3af0e5ce3ec8d23f2b59f4720","datavalue":{"value":{"entity-type":"item","numeric-id":5556404,"id":"Q5556404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401927$29507243-3BDE-4D61-86C8-ED2C1AFFE759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55ec7d85a1a4f4c7b58781d8b4afa8d0029ae7c","datavalue":{"value":{"entity-type":"item","numeric-id":5607225,"id":"Q5607225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401927$839E9FA6-CC6A-4E11-8BF1-CEF36BE75894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401927$31F277C4-86A2-4470-9E2C-FCC94BC23D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b6e008809faa98acb6d8f961491c946c7afcbd","datavalue":{"value":{"entity-type":"item","numeric-id":768102,"id":"Q768102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4401927$C09F2DEF-7CA1-4F14-BC97-AA074D3AE83D","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":"Q4401927$0A268EC7-DD73-4CF4-9C9B-D1EB8BF548E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4401927","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4401927"}}}}}