{"entities":{"Q3608481":{"pageid":5638387,"ns":120,"title":"Item:Q3608481","lastrevid":50591492,"modified":"2026-01-14T12:15:49Z","type":"item","id":"Q3608481","labels":{"en":{"language":"en","value":"Query Completeness of Skolem Machine Computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523468"}},"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":"Q3608481$5DA567D4-4490-4321-9086-2F7EF0C58008","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1c02bfdc89ffc83be6910c5b8c5661c360b5a3e","datavalue":{"value":{"text":"Query Completeness of Skolem Machine Computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608481$0DF3EF1E-3760-4C5E-9CA9-4A1AAA71ED02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1714c3994af62fd616f76c1f9b254bd8248ad554","datavalue":{"value":"1159.68460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608481$FA79272B-6D32-4050-877D-D8E90B711BD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41645a92151a3839b9c6683b57a9e2a19499e38c","datavalue":{"value":"10.1007/978-3-540-74593-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608481$AEB8FBEC-DC2A-44D4-935C-B62FE5677F06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608481$DB7E69B6-3D6B-445E-AAAA-BAACE4B082E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608481$5478FFAE-4EA8-490B-8263-C50ACB651DF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608481$2E1F18DF-88BD-4BE6-A965-1149D361C889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608481$5E9D7378-8CC4-4EF5-9C0F-3157A63275CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43bca703a3ca2dd89613943e1974652a8c66ae62","datavalue":{"value":"5523468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608481$F38A5FAB-EBAB-4A49-AF06-B867F3A6AB4D","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":"Q3608481$C5FAF06E-74E6-49C3-BB90-7615F5BED687","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba460eb7c8ac4a7e83cf47f6c2cc64d187f16fda","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74593-8_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608481$40C82EE0-2C6A-45F9-8FA4-D9E1F338025A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ac429c1e4ba3f1d16abf98c6a889a75d513314f","datavalue":{"value":"W1509337861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608481$BAA28D53-C891-4810-A893-A3CB10ABC2D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53980ab542b94f960c5d575777b4bb9105dabc37","datavalue":{"value":{"entity-type":"item","numeric-id":3632011,"id":"Q3632011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4780f92cfd8c09a1f5f5f57a5d6343438d4b2f53","datavalue":{"value":{"amount":"+0.919489085674286","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":"Q3608481$080DB2BA-0E93-4538-B5A4-E2D8B99FE882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09923d3df606192795618baaf532326167c42888","datavalue":{"value":{"entity-type":"item","numeric-id":3525085,"id":"Q3525085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08347de762df1ed16749329984387f66433f7d3e","datavalue":{"value":{"amount":"+0.7320032715797424","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":"Q3608481$0103338D-AC6C-40E4-B3DD-58CB4A4592E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32b2e2b06aaf445e6df4eeb324332778016c627f","datavalue":{"value":{"entity-type":"item","numeric-id":2753700,"id":"Q2753700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7e8dc07750f0c18f8c36a1364501c1a07b6dea","datavalue":{"value":{"amount":"+0.6732557415962219","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":"Q3608481$EB55A12B-E6EB-40DF-8576-8FBDBDDAA351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7ed835ea1a909aa22f28686eaeaba89133bc3c","datavalue":{"value":{"entity-type":"item","numeric-id":4249026,"id":"Q4249026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17969cec9acbd66db66410dbefbe71c2e0227d3","datavalue":{"value":{"amount":"+0.6705830693244934","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":"Q3608481$88684390-728C-49B9-9590-3F45773757BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc5a4ae7053e40b8a33c7227049b5dbbc8505d1","datavalue":{"value":{"entity-type":"item","numeric-id":1854519,"id":"Q1854519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b125bd69180b9412c402b0bedd34f82774ac6b0","datavalue":{"value":{"amount":"+0.6637400388717651","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":"Q3608481$CFE68D26-EF3D-4C47-91F6-A43D791A5752","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608481"}}}}}