{"entities":{"Q5168885":{"pageid":7198457,"ns":120,"title":"Item:Q5168885","lastrevid":52044683,"modified":"2026-01-20T20:02:19Z","type":"item","id":"Q5168885","labels":{"en":{"language":"en","value":"Painless programming combining reduction and search, design principles for embedding decision procedures in high-level languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318862"}},"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":"Q5168885$EA6C856D-9EF1-4111-B10C-EC7707386998","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a0ad18c5bf998caf1718fc0d5460fb8d4057321","datavalue":{"value":{"text":"Painless programming combining reduction and search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168885$6FC0CD2F-3D0E-4355-82DE-6B3E0B98B93B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"800e5071059b4b62736b0dcf4d9c295ff246e9f5","datavalue":{"value":"1291.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168885$A995DE3B-D54C-4CB6-BB49-601018A62460","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bdd221968e699ae6f93b134b882678ac3b376a0","datavalue":{"value":"10.1145/2364527.2364542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168885$F69EBBFB-BB7F-43F0-93F6-1853F94E99D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42f786b40129c789e92b453fb10226af39300752","datavalue":{"value":{"entity-type":"item","numeric-id":5168884,"id":"Q5168884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168885$70A77DF2-D0CE-4E4B-90C0-551014048961","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"124eb001557b71c36d00fbe6c3c8f1624c5e49b8","datavalue":{"value":{"entity-type":"item","numeric-id":5168876,"id":"Q5168876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168885$08B9F320-485C-4AE9-A9B1-6680C11580CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5670447523ca0c92d2715e5586c267824127db6a","datavalue":{"value":{"time":"+2014-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168885$4C9AEE70-093B-4053-86E1-FE92933E7BCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168885$24E46091-5032-4F01-8AD3-855202F9CFC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76a2eab60794691ec90e5cb9425d79c7d9fbcdbc","datavalue":{"value":"6318862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168885$4543E098-3811-4B1A-99E7-813538119B77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168885$7D7054C2-5857-43D5-9947-CC7249F76E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168885$2ED52DB6-BB73-47F4-97E1-BD5F367ABAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26a91fa3877ce4ff4e1cbc4fd7a7c11ebbd1370","datavalue":{"value":"search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168885$39A742C5-296D-4592-8438-63C290665738","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":"Q5168885$61F1894B-4393-44C7-8617-0545E5C81BDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c62ccd7d4f3ed8191e6968f257c2e2099283617","datavalue":{"value":"https://doi.org/10.1145/2364527.2364542","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168885$8967ADF4-468F-4505-BDA6-2B7BB836E3CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20bd0090b64416d74f424230c7e83f1c82e3dfff","datavalue":{"value":"W2063268168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168885$27613BE2-2EAA-46EB-BABE-03EB9ED46F7A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b426c531be800b43530be3a1c8decafa2b3ad87d","datavalue":{"value":"Q130991270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168885$94A3966A-8E79-4EF3-A8EC-A09D7D76E953","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b028676b8970ef098bbbc9e5238ddb908899ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":1353946,"id":"Q1353946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938efab7892a173605897096f362787232e4510d","datavalue":{"value":{"amount":"+0.7035147547721863","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":"Q5168885$D996C61E-49BE-49EE-A991-171A921B6D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe4506a2931479d63e7cbb10f62b0d5481622479","datavalue":{"value":{"entity-type":"item","numeric-id":2848058,"id":"Q2848058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989e18d955e37a62589ddfe082d83edc8a4d62ee","datavalue":{"value":{"amount":"+0.7003294825553894","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":"Q5168885$82652318-33EE-4F2F-95EF-2F46B7B2359E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1470a97030887b8d84f75ee646436a0f66f52b","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b041a430c9bccd7fadd71f74102064453039ddbb","datavalue":{"value":{"amount":"+0.6848058104515076","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":"Q5168885$09839956-4D75-4CBF-919F-709F065EEE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36e30c473efe86fbb830e5ed990880d4f822f57","datavalue":{"value":{"entity-type":"item","numeric-id":1318281,"id":"Q1318281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499b64dfabb207d65a8e2408bcc93916135a4e6d","datavalue":{"value":{"amount":"+0.6841906309127808","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":"Q5168885$BF21ACC5-A7A4-4A42-8D64-60BD57B8D682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e29c3fb1f60a011e046a3a041f7bafe2b70842e","datavalue":{"value":{"entity-type":"item","numeric-id":1924823,"id":"Q1924823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e4f2befd8076ba4fa044370e2ea6726fdb687c","datavalue":{"value":{"amount":"+0.6820096373558044","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":"Q5168885$A83786F1-2E10-43A1-A172-F004C9548FBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168885"}}}}}