{"entities":{"Q4928428":{"pageid":6958010,"ns":120,"title":"Item:Q4928428","lastrevid":51744689,"modified":"2026-01-19T19:37:21Z","type":"item","id":"Q4928428","labels":{"en":{"language":"en","value":"Completeness and decidability results for first-order clauses with indices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176200"}},"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":"Q4928428$3A00546A-F5B0-444D-A348-3141D82F992C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"823bcca01cb3e1469e684735d0db7c107c532364","datavalue":{"value":{"text":"Completeness and Decidability Results for First-Order Clauses with Indices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928428$7F047858-6939-4A55-BF23-3082E532B49C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89a43fe783c7eaa17c605fcb8970463ee75ea9db","datavalue":{"value":"1381.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928428$5AF50B6A-D9C4-4D53-A911-12E92FB2366B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7af7cf2f24a26d421d0d2c1be22b1dd3919658eb","datavalue":{"value":"10.1007/978-3-642-38574-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928428$62832FB6-EAC4-499F-AAAF-22E639A23D6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1281b8184838dd19738a13ad4314d126a0df9037","datavalue":{"value":{"entity-type":"item","numeric-id":2849477,"id":"Q2849477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928428$F5DA22DF-796E-4BF6-A8BB-AA9666F179D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928428$E58318A7-C286-4ACF-8782-FD0BE883232B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928428$C36FF4CE-A07C-41B0-B23E-F3354D273E14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928428$265ECC83-3707-479E-A652-0F649A88F6E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928428$530F3E4A-AF0B-4F65-95D3-BA9965C0E4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928428$BD367502-3E8F-4B65-8FED-72796D3E0D21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccbfc5c1e9374b9e5e205a5b805a7ef054108c48","datavalue":{"value":"6176200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928428$2B0FD5BD-8AB8-4B11-8B1C-42DB6C0BC83C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b1f4655c4093a6763ca4d938d08d8f6020262f1","datavalue":{"value":{"entity-type":"item","numeric-id":22153,"id":"Q22153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928428$4FAAE042-52B7-4418-B1C8-F85B3F53FD6A","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":"Q4928428$8ACF86F2-0E11-49E7-A082-99530294C633","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d8715f770a97ccb0b8e539e1d00e3e156a23834","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38574-2_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928428$401FD6EB-ED8A-4C26-B77A-D05490BB0BA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58641f45914f517d4941bc1edb951368bd6635a5","datavalue":{"value":"W2183571250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928428$64A822B2-F9CF-4DFC-88B2-9248BAFC14C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dedc1ea2579d58dc468d1438bcd2d4b0bedb07da","datavalue":{"value":{"entity-type":"item","numeric-id":2303240,"id":"Q2303240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c6150ef1fa30804fa6fdc8055ab9b5014e1e545","datavalue":{"value":{"amount":"+0.766179621219635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928428$00E15446-6166-4C44-A46D-5D3B318F5A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8537b16bd2ab63f05b68cdcf3fa52d30ef9300","datavalue":{"value":{"entity-type":"item","numeric-id":5881188,"id":"Q5881188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da5d5286512ccf460171058efac29be0bb0aa90","datavalue":{"value":{"amount":"+0.7559260129928589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928428$0753D732-AD82-44A5-BBD5-CD1FB41C2192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ed64c1904567464472d85b8eced14f4db0d60b","datavalue":{"value":{"entity-type":"item","numeric-id":2849478,"id":"Q2849478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b565b91749d72617d3971b839db24e70533dd1f","datavalue":{"value":{"amount":"+0.7385432720184326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928428$CD52A9FD-6E55-44DE-98C2-3B4FB3CBB770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2055c1cbfcb0dc4888a9b7fa03818581aef135b6","datavalue":{"value":{"entity-type":"item","numeric-id":2702565,"id":"Q2702565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98dae7d79164602e8d4bc88e94e9b3a93d02f880","datavalue":{"value":{"amount":"+0.731523334980011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928428$50AF5F13-93BC-4546-BDC5-687C654C1A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2567d3171f195e96f5fadcb5959ec11af9eb761a","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d5a2b61e22124a6f2b70b5375fe54cc89dd981","datavalue":{"value":{"amount":"+0.7306550145149231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928428$FD357B0D-07FA-41EE-92B0-5FC35329DE0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928428"}}}}}