{"entities":{"Q4490781":{"pageid":6520374,"ns":120,"title":"Item:Q4490781","lastrevid":47495689,"modified":"2026-01-01T21:48:05Z","type":"item","id":"Q4490781","labels":{"en":{"language":"en","value":"Boolean Normal Forms, Shellability, and Reliability Computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1479700"}},"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":"Q4490781$53A9964D-445B-41C2-96A6-D6C6F951D631","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"839222118f8246fb2de1f22850bedc2871a3d196","datavalue":{"value":{"text":"Boolean Normal Forms, Shellability, and Reliability Computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4490781$E3637B26-72D9-4AB1-9CBF-0FA81705D9A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf271e04399588a76cec82b41aa625d446514565","datavalue":{"value":"0957.90035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4490781$7D8A7E6A-12C8-4D9F-9EF1-3498A083F94A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"072c357a0109f7e2f85fcbc34d42c182ec2f4ab3","datavalue":{"value":"10.1137/S089548019732180X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4490781$9C6563A9-0942-41B7-B9B1-F0B906DDEADA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1948172daa46442222e070757b29802cb238c10d","datavalue":{"value":{"entity-type":"item","numeric-id":226794,"id":"Q226794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4490781$1FEB67A3-C871-4409-88DB-34D5598052F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcffaa345cf4b98989b572d2363e3c95f45d1cad","datavalue":{"value":{"entity-type":"item","numeric-id":1363768,"id":"Q1363768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4490781$342EC0B0-7764-465A-B3EB-0CA7C56662B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54ae8a1f67117b1c40e7224a6ee62353a2cf60cb","datavalue":{"value":{"entity-type":"item","numeric-id":188437,"id":"Q188437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4490781$F26F5058-8A4C-4C29-9E71-F2D4BD4484A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"746535ddb96ae77c4a55cf2874e59b3bf4f00d57","datavalue":{"value":{"entity-type":"item","numeric-id":171928,"id":"Q171928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4490781$7137D3A9-6DC1-4693-96AF-FB11BB9EE2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"689f0097808e0ebdfd3bc5250e1c6d60df9ca6cc","datavalue":{"value":{"entity-type":"item","numeric-id":1278721,"id":"Q1278721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4490781$14D72E81-26CA-47A0-ADA5-88279AE09BF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"39a509948a5fd41054da3e7af81581f39adaebc1","datavalue":{"value":{"entity-type":"item","numeric-id":2706174,"id":"Q2706174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4490781$631BEE4B-7DF7-435B-AE39-52286DADEF62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e3486af8c4134d7077ad3f4e438fb29d69719fd","datavalue":{"value":{"time":"+2000-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4490781$5B6B990F-EF1C-46D0-A21A-72089D9DCD88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cb186f7c907ca60893d849df7e69a98dd343f1b","datavalue":{"value":"90B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4490781$07C66983-9F90-497E-B3D4-D52D929F98D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4490781$3D64F2C4-21FA-496A-A33C-B146313F59DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcc25bfe66f1a244a38e5e8067e6ae1ceba83fea","datavalue":{"value":"1479700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4490781$BC4E5E00-BFD8-4D52-87E4-00D1AF112116","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4490781$067AFF88-DF84-4F06-9EAE-1A5CF1DBC2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba9af0d1606d5b5c668c12208964b5b3fd1206e7","datavalue":{"value":"orthogonal disjunctive normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4490781$216F3792-40B9-45A4-A58F-4DD376C00DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a64d60bbedb028e6cddf82bc5f6aa79a694c629a","datavalue":{"value":"dualization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4490781$734737D1-121E-4941-A91E-1B319F4A46AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd2b47bef4e2ac9f491e85a467fb9a860d6f9c98","datavalue":{"value":"shellability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4490781$26BBC5E8-6C89-4C61-B291-B602A011C7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cfc79edf190778c24fdbd9385cfe925d57fbdd6","datavalue":{"value":"reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4490781$4F202F71-D1C6-4FAE-8297-92D4BC763B54","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":"Q4490781$240A9A5A-3177-4155-9D02-03F8082A92F8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a9c2ebd82cd864a2c5c912dfd49895d4451076b0","datavalue":{"value":"Q59560705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4490781$D7DE3263-1E4E-4E21-8FE0-CAA723729EC8","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"505a92cc6cb7f820b08da2757c90dab82603b178","datavalue":{"value":"journals/siamdm/BorosCEHIK00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4490781$9369A56D-D373-4B29-95E2-D408222F5FA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f8af7bfed4119e97906b1f278cb136c4b58983","datavalue":{"value":{"entity-type":"item","numeric-id":3342373,"id":"Q3342373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99705810a87edadc9b6572854baaba96f21fda24","datavalue":{"value":{"amount":"+0.7873778343200684","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":"Q4490781$C1745156-017E-4D52-BB3F-F1CBB38DF249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9761491ecb82d14571bd4c0414e85eddfe26ea4b","datavalue":{"value":{"entity-type":"item","numeric-id":930767,"id":"Q930767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89460ad17f0b239935f2fd0625c0d1a0bf0c64bc","datavalue":{"value":{"amount":"+0.7790128588676453","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":"Q4490781$21D6DCE3-C922-42CB-A9E2-E9F8F04427C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677faed8e6d16298a4fbc5c50da64a3e280840e8","datavalue":{"value":{"entity-type":"item","numeric-id":5958139,"id":"Q5958139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4525c2d75568632084368612288f82301a5b43fb","datavalue":{"value":{"amount":"+0.7788197994232178","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":"Q4490781$304B8738-B559-47D9-AC6D-94580BA6CE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb00f339c2845107f9084d92c83792144fe8310","datavalue":{"value":{"entity-type":"item","numeric-id":3077976,"id":"Q3077976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e65aeb8a11172b9666b855f72332057c695f141","datavalue":{"value":{"amount":"+0.7746702432632446","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":"Q4490781$9C3DD736-C7A2-4FE8-B664-09739700D2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a5d390e970f871bfcec3de13ca6f1e9d17989f","datavalue":{"value":{"entity-type":"item","numeric-id":3974564,"id":"Q3974564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ec464003e8cd1640f0b49b534f9d3648d02d59","datavalue":{"value":{"amount":"+0.7692514061927795","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":"Q4490781$B256D63D-4B78-4B1D-B3E8-356487533AB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4490781","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4490781"}}}}}