{"entities":{"Q1580660":{"pageid":1591400,"ns":120,"title":"Item:Q1580660","lastrevid":72243879,"modified":"2026-04-14T03:35:50Z","type":"item","id":"Q1580660","labels":{"en":{"language":"en","value":"Embedding logics into product logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512011"}},"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":"Q1580660$6F4A5694-64D0-4534-97A5-A3E42E09D36B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67a414f58e8f8d1d0259ab4d103c10131b5fb371","datavalue":{"value":{"text":"Embedding logics into product logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1580660$1CE6AE61-7957-496F-BE3E-BB9B10085DA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9a828fcd6a534c2842328e5e7564d1621930d56","datavalue":{"value":"0962.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580660$5D223448-0ADB-4BF2-AA70-5975A0BC1617","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0973cd039edfa120522916127e0911046e01f66c","datavalue":{"value":"10.1023/A:1005026229560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580660$86FEFF6E-DB30-4C96-99D7-3CD9BF346410","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580660$B7807336-CD5C-461E-980E-9E89FBE6A6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f60fe646c044641a88e51c899da6e67b19d59e","datavalue":{"value":{"entity-type":"item","numeric-id":195656,"id":"Q195656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580660$0D3411DF-8495-4CB9-AFEC-B1B0AD8257E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580660$AE80C8C4-377D-4DA6-A9B4-610C67F22776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b07d4b46db87bfd631c7bc0b37b78b87c80b8a07","datavalue":{"value":{"entity-type":"item","numeric-id":1580659,"id":"Q1580659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580660$5C2C251D-94B4-4822-8F38-427F0E701FB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580660$B7638379-C208-4A0B-94D5-AC6807B5001E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"556c4e4b674dd920462d68ed6e6a84d50b63710e","datavalue":{"value":{"time":"+2001-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1580660$BA11C904-6B9D-4D59-8EBB-B26BE0E7F20E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580660$57474C44-9AC2-4EDA-AE87-EAA149A59F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580660$1EE49E5C-8D4B-4BA4-B980-D396507E21A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580660$834FEC3E-A545-4DA1-A59C-A3B62E8921EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580660$5BDD93EB-DD2E-4356-B9A7-D56EFDC6EF91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0291ecca174c4f7ebc49fa4bc0c6a73ba9b734eb","datavalue":{"value":"1512011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580660$693261BF-6BA6-4B13-B256-8D5287C1B6E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580660$CD1B7602-6C0B-48B6-9149-BE1D5E87592C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580660$D2BB81F4-E2E9-4C5E-9A56-F3DEB518F2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580660$41C34814-2F32-47DC-AB60-A48449A194F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3317fee091a183b95c82d29dc1e995b7455f26","datavalue":{"value":"arithmetical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580660$3E53D74A-1BA1-46FC-81A0-816D65938210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580660$12058C98-D9F2-42A4-AB28-9D3DEAE707A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e6c2d535e525c1e1d5ea7187efa822fbf373465","datavalue":{"value":"product logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580660$B5076C75-7529-4417-AC5B-A54E18E68E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580660$C06A1699-23B6-4F40-88A8-E446DFF2C8EE","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":"Q1580660$27426323-7117-40A7-BF61-D480A75DF5A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bb02954b7ba188e24c9ba6a6cd5b751116b23f4","datavalue":{"value":"https://doi.org/10.1023/a:1005026229560","type":"string"},"datatype":"url"},"type":"statement","id":"Q1580660$AB2CBF58-3656-4919-84BE-83E33523B996","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"465f8bec3969c792e9adc33433c5a800277a036b","datavalue":{"value":"W1531159060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580660$71C0049E-4B40-460F-8234-1FABBBD1257F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c672be33938fa21da7b0fe57c07a887e375114","datavalue":{"value":{"entity-type":"item","numeric-id":4485195,"id":"Q4485195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baea72d4f5bc9df4fc1666e003bed8fd0e2717e5","datavalue":{"value":{"amount":"+0.8139890432357788","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":"Q1580660$8EBC4BD6-BDD5-4BA6-8AFE-02927BA95A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d3dc222dbf42de3e5b4082667dbdd5dbda6798","datavalue":{"value":{"entity-type":"item","numeric-id":3533553,"id":"Q3533553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f21421197a75498d34fb13b2d5a0cb3fe96d41","datavalue":{"value":{"amount":"+0.8139889240264893","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":"Q1580660$A5BF5A3F-6863-400C-8EA4-AEDE6B2473EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b124167026a5de2b9effee8c0db0e3de63270de2","datavalue":{"value":{"entity-type":"item","numeric-id":884950,"id":"Q884950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b916377ee61b3d6f789c94a47fc0b505246339c8","datavalue":{"value":{"amount":"+0.7921390533447266","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":"Q1580660$BEFD4BB2-CD57-4BB5-AB85-6E3F5F7B0170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4624abdd1540ec815598c93af0bc198b551ad9c9","datavalue":{"value":{"entity-type":"item","numeric-id":5477455,"id":"Q5477455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243959cdb80c369b31a708a141ba5a8b6472be6f","datavalue":{"value":{"amount":"+0.7845005393028259","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":"Q1580660$75FF689E-9644-4760-8EE5-30A92F5B7205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bcb46901ac2a34501151b94fe273c9fa1a3afdc","datavalue":{"value":{"entity-type":"item","numeric-id":701745,"id":"Q701745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038789b57ad53827a3714475546ab56fa98c4f9d","datavalue":{"value":{"amount":"+0.7844720482826233","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":"Q1580660$21E3EAF1-6459-40FC-9EF6-FA47D0C6311D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding logics into product logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_logics_into_product_logic"}}}}}