{"entities":{"Q5326327":{"pageid":7355901,"ns":120,"title":"Item:Q5326327","lastrevid":41676165,"modified":"2025-05-07T02:31:15Z","type":"item","id":"Q5326327","labels":{"en":{"language":"en","value":"Analysis of Boolean Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194837"}},"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":"Q5326327$08E46A7D-C50F-428F-A649-9497B3DEBED3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20ca581f4484bd36c9aeb32aa48c55c0b1b0c9f2","datavalue":{"value":{"text":"Analysis of Boolean Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326327$41B09606-B314-49E3-9A56-5EA7AD6A9EA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"366ec4a3c73f2befe3dcc958107322d6d2752d05","datavalue":{"value":"1381.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326327$3A821954-4BE5-4B39-93F6-AE456B188C12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7659ef115ec9c019c055e1f73334eb09905a7d11","datavalue":{"value":"10.1007/978-3-642-36742-7_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326327$6575A342-18C4-433F-AC53-8E9E160C94DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"027a8d6ba912dce3a5dee63eade531c0ba4f4a36","datavalue":{"value":{"entity-type":"item","numeric-id":1327382,"id":"Q1327382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326327$259DE52A-90EB-4A7A-8AC3-A21E1D71AAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64789e48fd3ab0a44b5ae0aa6d85c1c024312026","datavalue":{"value":{"entity-type":"item","numeric-id":458479,"id":"Q458479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326327$07333ACD-61C9-414B-958F-0221A81C113D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326327$6B381270-6E37-4401-82D3-346DB640E7D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-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":"Q5326327$8024AA76-E9DA-4352-AE1B-C3D18C5F328B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326327$8A98ACF6-B3EE-425E-A0D1-BF9FEAD9203B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326327$D8AB41F6-489F-474A-BDF8-C5AE52BC37E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326327$12BBE3E3-7C41-40B2-BDF9-F1F7C686AF84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ef975fef95acf7d552492f71a5a9f780a91d8ef","datavalue":{"value":"6194837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326327$54E3BE2F-C17A-4445-B7BD-EE7DCEDF1489","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":"Q5326327$25FC797E-402B-4574-93C7-1A84A6A5A82A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1012271bec802cac8a613a40f7542edd84652f68","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36742-7_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326327$2FD61FEC-232A-4FF5-9423-598C878D44EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afbe07016ab9608465eccb854973e37821260f4a","datavalue":{"value":"W2135108322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326327$88EAEB7E-DF7C-4D5E-9019-9FEF3B8F5BAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cf4dfaf35bc6d9942e2f54691f85d9d754a31fc","datavalue":{"value":{"entity-type":"item","numeric-id":5166888,"id":"Q5166888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c949d21a1ba6fc4622cb27030f7ef85ae337719c","datavalue":{"value":{"amount":"+0.9280316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326327$0DE8CCBF-BED0-4CE7-8AFB-0BF1580D3B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb82cc2c2102bb76696af5dddc3e07e884102bea","datavalue":{"value":{"entity-type":"item","numeric-id":3334055,"id":"Q3334055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886267fd0b244eb792af1ccf2640e14887014f20","datavalue":{"value":{"amount":"+0.91218513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326327$EB5D04EC-6CE1-4C06-9FB0-B22532823CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"884b5fb583b3564661e83be3959fce7d4aed8cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4281654,"id":"Q4281654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6c5b2eda5ef2adb3a6cb2c438d569f19e0e638","datavalue":{"value":{"amount":"+0.88424456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326327$96D2B8B7-791F-4C00-AF8A-0AABECDA730F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f34bc1cdb83fa2ca0efcb95a9012fa7b94d32739","datavalue":{"value":{"entity-type":"item","numeric-id":2946656,"id":"Q2946656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f691a0bce961f61a6bed5e654839fcd19df3e3bd","datavalue":{"value":{"amount":"+0.8840241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326327$53591618-4B14-40B6-ACD4-AC62D1DB0DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a9c3169933d170510499c038c1d0cba474e7bc","datavalue":{"value":{"entity-type":"item","numeric-id":2385399,"id":"Q2385399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fc7d7e3d024e976ddf921bac3b2789cfc69380","datavalue":{"value":{"amount":"+0.8797049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326327$8A228029-E123-43AB-8975-61ACA1E3D0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f055259f511d1e8387168ee9a8a682aa5660b1","datavalue":{"value":{"entity-type":"item","numeric-id":3617762,"id":"Q3617762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07bfb9c3b7ee81db54b5ed19fa7ad44cf885009e","datavalue":{"value":{"amount":"+0.87323344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326327$F411399E-D9CB-455B-A0AD-21C92EC59C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f629899c30d9b52679db7067f9532ddef1ac3fd","datavalue":{"value":{"entity-type":"item","numeric-id":1330665,"id":"Q1330665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281190e4c142aa0de7a3d29476320465340f7f39","datavalue":{"value":{"amount":"+0.8699326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326327$1F70FB50-F6DA-4790-A2D3-51BC7333AF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc3a3bd250d70911a393ec7a6bcbf0cbc47bb6a","datavalue":{"value":{"entity-type":"item","numeric-id":1929363,"id":"Q1929363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32ee72dcba39e3bcf6e8c5cc81faa9efe519447","datavalue":{"value":{"amount":"+0.867627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326327$C5E4A0C3-96E8-47E9-ADCE-906772BDE359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"468f7da087c5780388f6f08ecc01b3e3bbd67087","datavalue":{"value":{"entity-type":"item","numeric-id":4489064,"id":"Q4489064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9b8163cbabd2771ba8e38c200cb902689f6fc6","datavalue":{"value":{"amount":"+0.8646785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326327$8A804D05-88EF-4381-8DF2-4222D497F5DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326327"}}}}}