{"entities":{"Q3516461":{"pageid":5546365,"ns":120,"title":"Item:Q3516461","lastrevid":50416523,"modified":"2026-01-14T00:26:06Z","type":"item","id":"Q3516461","labels":{"en":{"language":"en","value":"Component constraint detection based on proposition logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5307167"}},"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":"Q3516461$812D8F7B-A7CC-42D8-8136-06B06F7A230D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8c356b48b9b551089b9bb5f01d9e3aea4581399","datavalue":{"value":"1150.68321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3516461$B04D57FE-9AB8-4F86-90AA-2BB58936313C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b071e5abb226ef2719e8436150d884441e876bc6","datavalue":{"value":{"entity-type":"item","numeric-id":238007,"id":"Q238007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3516461$C72239AA-85B8-477B-B38A-201D1A5A3B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"204c75a17950b7cadf38a98ad25129adbf6b33c2","datavalue":{"value":{"entity-type":"item","numeric-id":1930443,"id":"Q1930443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3516461$B7851B78-CF6F-4E06-B4DA-464ECEB83520","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"450d2294b845f0f9561a47040d8b62e63dee0412","datavalue":{"value":{"time":"+2008-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3516461$A787325C-7B82-45A7-B29F-9B187B17CEAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3516461$FA521500-3A7E-41D1-9FA1-E565A7A78A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3516461$CC03582D-1029-4700-A79B-87EC98817932","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a521cea4cc0fa629dda0e1b094af3514c329446b","datavalue":{"value":"5307167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3516461$5B41AB81-BA4E-43FC-9776-FEC3536ECDAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ed21ade400640bd2dfcc9eec5e539511ff60d33","datavalue":{"value":"component constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q3516461$CF7971F4-B7DE-41F3-90B8-1D612FBE9AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a4f158a106a484f94cf974b62b6143fcea817d4","datavalue":{"value":"proposition logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3516461$96E552D0-5A75-456A-97E3-AA92061C621C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf8dbc866d2c8abba36c82fad5b5be72c391b3e","datavalue":{"value":"truth table","type":"string"},"datatype":"string"},"type":"statement","id":"Q3516461$5CFB5475-1319-43CE-8C78-B401842D0D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d575515cdc9e2ad88467c3412fc70a906153dbb3","datavalue":{"value":"detection algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3516461$4B34F5E2-9B57-4704-9324-C792CCE9A4C1","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":"Q3516461$BE466B89-5019-44FC-8D7D-4C2F69DB8CF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69fd126af651e8b14c204005de6cef2e5acb5ad0","datavalue":{"value":{"entity-type":"item","numeric-id":964358,"id":"Q964358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afced36d1e3155c031fdf69300ea7f49cad55d82","datavalue":{"value":{"amount":"+0.7122401595115662","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":"Q3516461$BE371A39-9B41-48B8-B235-9D5F51147170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef26f4a8e0301794eeb7fac16ea275f6ab341a3","datavalue":{"value":{"entity-type":"item","numeric-id":2722045,"id":"Q2722045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781b4de0e8b8e016f988bdd96b91ca93e2674e76","datavalue":{"value":{"amount":"+0.6759073138237","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":"Q3516461$FACA2256-2498-4504-80B4-46FEA6C474FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ba84f59038de4a83c9874efeafefe7fa8a6d20","datavalue":{"value":{"entity-type":"item","numeric-id":4735930,"id":"Q4735930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2944c962c3316e447a400445c519674fd430b096","datavalue":{"value":{"amount":"+0.6687947511672974","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":"Q3516461$71B3ADED-CC2B-4596-9CE7-3B612EAFC0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60083195d5298330dc01e257307502926fd4b338","datavalue":{"value":{"entity-type":"item","numeric-id":3638992,"id":"Q3638992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94097f70c8040efe88b932ef15cf48b0472002bd","datavalue":{"value":{"amount":"+0.668136715888977","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":"Q3516461$93F5EB6A-2709-44A4-A841-E961F7795DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e738b1d921d739ee4119b3689c1daaabdcab22","datavalue":{"value":{"entity-type":"item","numeric-id":5309502,"id":"Q5309502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f94e08d369bb59ad0084bc56ff845712ea1824e","datavalue":{"value":{"amount":"+0.6649072170257568","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":"Q3516461$01D88B79-39EC-48B6-AB18-4AF60402D6B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3516461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3516461"}}}}}