{"entities":{"Q3094142":{"pageid":3104857,"ns":120,"title":"Item:Q3094142","lastrevid":51351707,"modified":"2026-01-17T21:26:32Z","type":"item","id":"Q3094142","labels":{"en":{"language":"en","value":"Intuitionistic dual-intuitionistic nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5961418"}},"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":"Q3094142$19AACD20-5216-4783-A784-8166AB614A6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fb8282b3b579096cfd4543c1eb93a44bbfbee84","datavalue":{"value":{"text":"Intuitionistic Dual-intuitionistic Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3094142$0065C796-D4C8-4EEC-8571-348C26FD4349","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9856dd851a1f983593a63abde2e4cee9683a51a9","datavalue":{"value":"1247.03118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094142$32C32E74-E52E-43C9-B5DD-CBE3DC7BF555","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f594722cafe5ce1c947afb897f11796df18378c5","datavalue":{"value":{"entity-type":"item","numeric-id":556823,"id":"Q556823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094142$21DDBCE9-26FA-410D-9529-00B21B950242","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5412e51208588a3303ff1411a4274ccfb0b7d7d6","datavalue":{"value":{"time":"+2011-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3094142$64F25A58-EADB-4214-8CDE-232A88E655A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094142$20E121AE-42CD-4D8D-AB8B-8674F0E7B698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094142$494D4D67-08CC-4F81-8462-5405203543F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094142$12AF4456-F2BC-451B-8EAC-5451015D639D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b344e3790f686ec584416808900c6939252aac41","datavalue":{"value":"5961418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094142$6B25CF66-0E91-4E32-A433-F457D5A7ECFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094142$7E9E4EEE-9364-4D8A-A4D7-A0793A62A70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094142$63BFF93A-4636-4F7F-8134-F825F42C186F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f4a446d3ce2f32d431dc1abf84c06c34b786466","datavalue":{"value":"dual-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094142$F02FE7E9-5FFF-4FBF-A54E-00447B4C26F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094142$2F958E9F-1E5A-4099-A7C7-542DB254BF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60674b457f47489fe0d08a0b6917992f48a70e6e","datavalue":{"value":"computational duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094142$6D74C9B2-E650-4A2A-A45F-C8E130275CA9","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":"Q3094142$D6F641DA-1FA4-435E-A8DC-6F2348DDCF8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c98f39257f52afe95c15790763f3cb687d8548b","datavalue":{"value":"https://doi.org/10.1093/logcom/exp044","type":"string"},"datatype":"url"},"type":"statement","id":"Q3094142$332E9F8B-4307-4E59-A280-162A98CE0914","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"659cf8b63dc19717f3d7098804179e18d5f3c8a4","datavalue":{"value":"W2094246250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094142$2F9FD17F-D8DD-4B5B-A17F-7E4B4E13DF28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"807a2eb5007167b84b5232a90abb65104824c05a","datavalue":{"value":"10.1093/LOGCOM/EXP044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094142$21B41067-ECD0-4EF5-8049-98DFAED3E46A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094142$65948E81-CB75-4719-A8F4-0D75E913E8B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be21e2ba7249f84a48b8650bf77a17a8e95b7498","datavalue":{"value":{"entity-type":"item","numeric-id":2721200,"id":"Q2721200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50177332233ad2cdb402113ef78b2228f66d5f47","datavalue":{"value":{"amount":"+0.7965543270111084","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":"Q3094142$551BEC1C-FCE6-411D-9162-3BFFD86284CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d72eec3ac0cb3164caaba58d4db956cc6c230b","datavalue":{"value":{"entity-type":"item","numeric-id":694491,"id":"Q694491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07ec0ec42f2f6f0843ae84e7186f1910d20b68d","datavalue":{"value":{"amount":"+0.7897167205810547","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":"Q3094142$3C94F929-D7BE-4C38-BE97-602523B7EE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f619b0317e6cb9744cb189fabbc1d377693aa9b","datavalue":{"value":{"entity-type":"item","numeric-id":1355125,"id":"Q1355125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84cedd4f922c1717cd752fcf7fa202572a2ec331","datavalue":{"value":{"amount":"+0.7804211974143982","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":"Q3094142$646B363B-D370-4BE9-A21A-F509F5F77535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c6212ff4b28d8f271338efe06139f3c2beaa674","datavalue":{"value":{"entity-type":"item","numeric-id":558432,"id":"Q558432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689d86ed31c0c5b62705a23c7dbeae50a9bcdd76","datavalue":{"value":{"amount":"+0.775586724281311","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":"Q3094142$9822C59D-574E-4C1A-9631-40507EC25959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8d541e8dfeb6ed91fe0e8e0403ccd4602ad393","datavalue":{"value":{"entity-type":"item","numeric-id":4434506,"id":"Q4434506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1555541c5a2b14eafbb5e01ee16a7e7739bd7b4","datavalue":{"value":{"amount":"+0.7579926252365112","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":"Q3094142$DB109D29-FF57-4596-979C-EED6B9423A0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3094142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3094142"}}}}}