{"entities":{"Q3546132":{"pageid":5576036,"ns":120,"title":"Item:Q3546132","lastrevid":80690030,"modified":"2026-05-06T16:46:42Z","type":"item","id":"Q3546132","labels":{"en":{"language":"en","value":"Branching-time type operators on finite pseudo-Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5383427"}},"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":"Q3546132$DD0BA289-F6DA-42BA-AFDE-C92BF70EDB6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2b507a6aae90f2bb3d19923c820a319418baf12","datavalue":{"value":{"text":"Branching-time type operators on finite pseudo-Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3546132$1F912510-3101-4BBF-B924-63C2CE0F63CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c2f126a27d6044d2fd13ef0e3dcd69c7d37c1b9","datavalue":{"value":"1164.03356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546132$ABC3D6E0-02FD-4017-B7FC-6D81D78519DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546132$2ED40337-7DB6-44BA-8DF7-F05E222D1304","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1663d3617535929b278b9313fbf9b2d4c917782e","datavalue":{"value":{"time":"+2008-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3546132$05D3A227-E403-4544-AAF0-13F9B9C44014","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546132$C9221A61-FEC8-454C-A947-5043BC9A54FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97ae6c0b0bee312245b53ef089302d9744d39d5f","datavalue":{"value":"5383427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546132$D63FC81C-2ECA-47A4-A895-C30A858FEC5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7001585e9b74bb867ef7afe1c0f510b491dbdc18","datavalue":{"value":"pseudo-Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546132$65DA0D0E-61B0-45F0-981A-FD0F75639A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c5147129b24817bb996d5e692dd32f88e2e9f50","datavalue":{"value":"branching-time type operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546132$638B5BFA-B09B-4D1A-B130-6C4A462D300B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a279a186a28b7608f278c3b1bc3f3a8a1b40f86","datavalue":{"value":"finite frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546132$B3F43007-BED0-4455-A8B8-67F99C8C10FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5015171e2f57a73921a54f50bb5ecad403c04d","datavalue":{"value":{"entity-type":"item","numeric-id":721380,"id":"Q721380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546132$D0F227FB-5F66-4F71-AA9D-0A07EFEF2393","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":"Q3546132$5FD5C8F0-223A-48FB-9EA5-875B1FC1B6A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"787973da2becb118742fffc62cc480899240cd65","datavalue":{"value":"https://doi.org/10.1007/s10469-008-9020-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3546132$D2CC5D35-6F1E-4066-9273-00A6880AD8F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aab2e69ea32cdc658c7b3b696cf2ac973f41a9f9","datavalue":{"value":"W1987450169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546132$A393C499-2C99-45EF-90E8-3E7FA0122127","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b83f0d575c043bbe91b9033dec29f369c174292a","datavalue":{"value":"10.1007/S10469-008-9020-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546132$5BDF7AC2-AC54-4EA7-B6CF-1F1262B252DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"174766e367fb7834c6be6d7bd5a8e0f65a227595","datavalue":{"value":{"entity-type":"item","numeric-id":3138864,"id":"Q3138864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e2d2893dc66fac5387ec46a63cc6f2d308ad84","datavalue":{"value":{"amount":"+0.6889413595199585","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":"Q3546132$C49D6037-6776-4038-930A-BFC423462F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8586a2956432aa69a78f94256dfc674d5201cc0f","datavalue":{"value":{"entity-type":"item","numeric-id":439961,"id":"Q439961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794449b258511b41e1786baec906296ec23dcb07","datavalue":{"value":{"amount":"+0.6844887137413025","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":"Q3546132$067D8332-D0A5-4847-A3DF-831C8E469C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42791f5bd8214a3e59ad9029cd147b2d40ebb4d9","datavalue":{"value":{"amount":"+0.6731060147285461","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":"Q3546132$22D65421-209E-4ACD-9B9E-F36859A84A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e53d97678f1a2515b694d888ffe41a03d1f638","datavalue":{"value":{"entity-type":"item","numeric-id":3491622,"id":"Q3491622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac0277425ba5d5426354b3e00fc876b0e0a44a5","datavalue":{"value":{"amount":"+0.6714043021202087","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":"Q3546132$B27C737F-EAE6-46DC-82F1-0EEB24285AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6987ca5e52bdd1a088eb5dd338fb9796ba2f0cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4600303,"id":"Q4600303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5343ad2741ff491311909617ebd34515c8e56fb8","datavalue":{"value":{"amount":"+0.6710016131401062","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":"Q3546132$5C0D69B1-88B0-4087-9189-67A9365D177D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Branching-time type operators on finite pseudo-Boolean algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Branching-time_type_operators_on_finite_pseudo-Boolean_algebras"}}}}}