{"entities":{"Q4700097":{"pageid":6729674,"ns":120,"title":"Item:Q4700097","lastrevid":46785363,"modified":"2025-12-25T14:23:29Z","type":"item","id":"Q4700097","labels":{"en":{"language":"en","value":"The probability of pure literals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1355465"}},"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":"Q4700097$82C539A3-576F-473C-B92B-AE2172729CDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87a779307071c62d86aa0cf543edfdfaa6e25440","datavalue":{"value":{"text":"The probability of pure literals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4700097$9F6B8DF6-D557-4EEA-8DEF-CA060D80D336","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7b6fda3e05cb7a730b1d87d1e734db290d57721","datavalue":{"value":"0935.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700097$DE9823D1-2DC6-44C8-BC69-2B77949723E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28bbcc74fcb402af071729d124478254f15cbdb4","datavalue":{"value":{"entity-type":"item","numeric-id":584253,"id":"Q584253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700097$71A32CBA-2C1D-4800-A52C-44F2D672262B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9878b97e16d942fa90f6e1b22b32f682f6823a6","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700097$4DD6BC28-A681-4BAE-AD75-6AB0BB31680B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb85fd2c1ce489cbecf5dc649288fae9b7018a3f","datavalue":{"value":{"entity-type":"item","numeric-id":673601,"id":"Q673601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700097$6642E56C-4533-444E-B714-C97AFC0718B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd5fe418ce0a2d6da5e54c8707dea6df216e12e0","datavalue":{"value":{"time":"+1999-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4700097$69561076-DFF8-40CF-A452-9862B8CF74A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d3ae44bd004cabe74793d2bcea087bc8d36b28b","datavalue":{"value":"https://semanticscholar.org/paper/0886c59281df0fe9c54df6e87e9addd17e54a2b4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4700097$678120E5-1A28-462B-9B6F-9F7A08A2E748","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700097$422BA2EA-1441-42E7-A419-4787E90AE573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700097$E9AF28B9-8FE3-4C42-AAFA-E93DA209BC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700097$6EF393FE-5A45-4688-8E20-93D941C65AF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a786eeb14e677074e145ba03734a1f63cab4ec1f","datavalue":{"value":"1355465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700097$880CC63A-120E-4AD8-AC49-F230D4CA63B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd35a4a55f4ef87cd1de6b19e9b8a701deb3aa69","datavalue":{"value":"\\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700097$459F5D78-F8A0-4789-9C02-B99CB4738DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700097$09569B81-DE04-4B4D-84F1-82C90097719C","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":"Q4700097$38CCFB5C-11FC-4368-A531-1F11504F3110","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc213279005acdc8d508ec4d555b17c4007ab9a5","datavalue":{"value":"W2089667959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700097$1F2EC77C-31D5-4953-BA7B-F057C7B146AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7449553adb329e2b2e25a0d5c1cff31cd04e1b0","datavalue":{"value":"10.1093/LOGCOM/9.4.501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700097$8029C60D-1CF5-4471-84EE-993265133519","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700097$81132E0E-2D5F-4748-93C0-A62A115740F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb15256d2254f35851208fe603f797e906b9f96","datavalue":{"value":{"entity-type":"item","numeric-id":3827800,"id":"Q3827800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a00779cebe1f259ffe74e6b6b27580e180c985","datavalue":{"value":{"amount":"+0.876439094543457","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":"Q4700097$7F0C158E-079B-4553-999F-9B40B90E3DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47346030bf14a865d018673d2fb08721168c935","datavalue":{"value":{"entity-type":"item","numeric-id":3140436,"id":"Q3140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef4ecfb5e01e06ce67237463bc4bc03da93a9ab","datavalue":{"value":{"amount":"+0.8721041083335876","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":"Q4700097$88397136-3309-4584-8D36-A2F6F99573D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9502eac21297c1a2e91bf19484d2a5dedae8c81c","datavalue":{"value":{"entity-type":"item","numeric-id":1104093,"id":"Q1104093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43308d4adf7216ecac8f4916c4f11b89886841d0","datavalue":{"value":{"amount":"+0.8463737964630127","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":"Q4700097$A3E1703F-F047-492F-B24B-D86419852E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e062448ad3176ad0428cc4ca722719b43b43dc","datavalue":{"value":{"entity-type":"item","numeric-id":3694704,"id":"Q3694704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac04bc8a6260a5eaf6c99e1fe654ab699d0d7e2","datavalue":{"value":{"amount":"+0.8371837735176086","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":"Q4700097$FE11BABC-B9E4-4115-864D-830022D38143","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4700097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4700097"}}}}}