{"entities":{"Q2946669":{"pageid":2957389,"ns":120,"title":"Item:Q2946669","lastrevid":85286336,"modified":"2026-06-03T06:38:29Z","type":"item","id":"Q2946669","labels":{"en":{"language":"en","value":"Permissive-nominal logic: first-order logic over nominal terms and sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483174"}},"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":"Q2946669$4EC42392-96E8-4324-8F91-726DC06DE48D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea9d61292a1b63b1fa9f6b51c2d858396759b8ce","datavalue":{"value":{"text":"Permissive-nominal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946669$FA2F94F0-AFCE-4645-B423-F4B3AF8C28C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ed21850f84ba3c6600cd366097008d56c516994","datavalue":{"value":"1352.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946669$D4AA7A51-DBAF-4C3A-9204-FFBA0EA0CF84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53a12803b60713ba81fbb87aaad97de8ff6308c6","datavalue":{"value":"10.1145/2287718.2287720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946669$619D93AD-8209-4CE6-B4D7-9987BE3F7008","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946669$A57C02BE-F433-4245-8EA0-7DD60A5755A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db57da05f7a2528db77ce79579650b12005cc558","datavalue":{"value":{"entity-type":"item","numeric-id":1744403,"id":"Q1744403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946669$8C708127-EC3E-4D6D-92D5-9330B0A42FE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946669$9BB017DC-43FD-41F3-8A65-E14A548208FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946669$8786CFA1-3B5C-40AC-A007-243B00971067","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946669$67212641-E220-4BCD-90AB-59E50328B233","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfe77a8a4a5e570af4961a628aa0038bd25e1434","datavalue":{"value":"6483174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946669$F8B1F7FA-27BA-456C-8BAC-426FF6AB3DAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc1ef29d2cf46b3699d6171316c7234462c00792","datavalue":{"value":"permissive-nominal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946669$8781AC04-7A2E-4ABC-BB4A-D767AD6E40CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cf7aa4db39256b503256728b249ce1ffc59f064","datavalue":{"value":"names and binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946669$0CC60C3B-32F3-4DDB-9C92-CEA81C1312B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b78fd06c75bce2f27c56fcdfc2f26769e147394","datavalue":{"value":"nominal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946669$D133C833-7854-4D56-8AD9-AC7DA845A5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cdcc858e642c37f46f6fa377f2e2634fe466a35","datavalue":{"value":"permutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946669$AE390609-4F75-4484-A9B5-79F8924AE8FC","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":"Q2946669$BFA591EF-4A30-4496-BBC6-FBC2D0AD572C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb34abfda7320f5806ffcd8b666f1a2cdc9c7476","datavalue":{"value":"https://doi.org/10.1145/2287718.2287720","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946669$18C8F2D9-3CFE-4085-88DD-F743306C087E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8561ad0852201896f9316f21dedf97fd972d6bf7","datavalue":{"value":"W2086167281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946669$1016B5B8-A5DD-4866-8A30-72E9EEAB78DB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cc1dc0d3c0a2ffa941e30d18f80843ca9cefd82e","datavalue":{"value":"Q130849063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946669$109224C3-EC1B-48D2-AFB8-02BB0CBAE5C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d829973f2b3b55df637636307709873c0f0f44d9","datavalue":{"value":{"entity-type":"item","numeric-id":714797,"id":"Q714797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c72433d21fe0fad45cd110c24f140924e4322c","datavalue":{"value":{"amount":"+0.835587739944458","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":"Q2946669$FFA0E4BF-CEED-46F7-96A6-449DD0BFE170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bf10d5ad78b7314c398ed94a0d07b67b9ef773","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7c796eb129420e34e365d136b615e12c5f7832","datavalue":{"value":{"amount":"+0.8150672316551208","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":"Q2946669$D76D5739-1D9F-4300-B060-2E48D1BC252F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede30ef70b5aef7ff3974e38e8c4d42817f62ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5714442,"id":"Q5714442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6ca8d31536e25b0cf70b7abf8b2231fc24cdd9","datavalue":{"value":{"amount":"+0.8092660903930664","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":"Q2946669$3D590AD5-CCBC-4F54-B7CF-E9B441F6A4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"030520f7e830a87853a89f727920484d07ead10b","datavalue":{"value":{"entity-type":"item","numeric-id":2804939,"id":"Q2804939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2de5d1450d55a5cd34918eddc338ca70ecd0838","datavalue":{"value":{"amount":"+0.7825460433959961","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":"Q2946669$E1661527-2E7E-48C2-8052-88EF3DCF03EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63acd65acb60035b08a666339e0807b6e4498f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3061275,"id":"Q3061275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9f7f5275feb87e877568c0a885cb40edf4eda3","datavalue":{"value":{"amount":"+0.7795042395591736","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":"Q2946669$D670F354-9B8F-4C9C-B39B-6E35D1818CE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Permissive-nominal logic: first-order logic over nominal terms and sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Permissive-nominal_logic:_first-order_logic_over_nominal_terms_and_sets"}}}}}