{"entities":{"Q6828546":{"pageid":15111214,"ns":120,"title":"Item:Q6828546","lastrevid":56010322,"modified":"2026-02-24T13:21:26Z","type":"item","id":"Q6828546","labels":{"en":{"language":"en","value":"Computational aspects of satisfiability in probability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377531"}},"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":"Q6828546$BC5CED0A-C548-41A5-A011-6327B9383334","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df985635ea00f987332b5147f7bc6a335a367b2a","datavalue":{"value":{"text":"Computational aspects of satisfiability in probability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6828546$2614F3A3-F63A-4012-AB84-C9E5CCFC8455","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3470ef4fd141c157d6058e5c44af2acd90c868cb","datavalue":{"value":"1355.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828546$A9F6FCB7-3903-4084-8BAB-D7890F320C1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60b646354a17b28b2af59f68632e40a21efd8402","datavalue":{"value":"10.1002/MALQ.201300015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828546$1781503D-3619-4E7A-A3A0-3C0CF456465E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5d88debce42ef8e4a29754bbee78fa1af5bf088","datavalue":{"value":{"entity-type":"item","numeric-id":385808,"id":"Q385808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828546$7FB71897-5216-4A32-AAA7-E40ADC329A7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828546$1CF2E43C-EEB6-4379-8089-E17B63DF3CE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-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":"Q6828546$E66D7A0D-915B-44F5-BABF-7335D4DB13E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41a0d04a9d378135e60deca53806a4aca330b182","datavalue":{"value":"https://hdl.handle.net/2066/135267","type":"string"},"datatype":"url"},"type":"statement","id":"Q6828546$62325962-5897-45AE-BD54-0142920A6518","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828546$BB7F1C16-C735-4DD3-8449-E47BF8A09EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828546$F74D1772-1A0D-41A7-8A0C-EEC9382860BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828546$A520F54A-7992-40A1-B0C8-20F642675EB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4646a8317c70528ef0afb4c4857d4ef2585e0219","datavalue":{"value":"6377531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828546$DD3AE404-ED6F-4284-AAC9-A79C6A0FF42A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828546$BC119B76-ECB8-4479-B2DE-17D1A3A22823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e40ca3fb9ac74b8086053a949034fc22f2c00c8e","datavalue":{"value":"complexity of satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828546$EFA0BE99-4EA8-43B4-B211-1C6925F925C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa443da52857f1bf348776f8a6397e9675d162ca","datavalue":{"value":"\\(\\varepsilon\\)-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828546$9F5F8388-4DE9-4145-B370-72ADD9B89DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5711ec9b297427044a3af1c6a9d8d2804fe7ec2b","datavalue":{"value":"0-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828546$1C9C5416-CF81-44C6-8799-27C03289DE3E","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":"Q6828546$B56DAF2E-9421-4B9B-84AE-14DC57F39B07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational aspects of satisfiability in probability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computational_aspects_of_satisfiability_in_probability_logic"}}}}}