{"entities":{"Q2409748":{"pageid":2420491,"ns":120,"title":"Item:Q2409748","lastrevid":57908232,"modified":"2026-04-03T01:15:37Z","type":"item","id":"Q2409748","labels":{"en":{"language":"en","value":"Automata theory approach to predicate intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791235"}},"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":"Q2409748$44465F85-007B-4B50-A009-C2C7FFC7ADB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ea074064d130e3637bf180fc85090ff0e7d5dc4","datavalue":{"value":{"text":"Automata theory approach to predicate intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409748$F775F335-7111-4BDC-8414-26078AB7E60D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0ed860a44127f8b89c93af05dc02c912cb43e05","datavalue":{"value":"1485.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409748$D2E388F9-AC78-43B6-8B0F-90411C5E48AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71e82217e33e81471a006d8aca496c9338312efb","datavalue":{"value":"10.1007/978-3-319-63139-4_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409748$D68F68D8-E934-4020-AB8A-A5F3F3A31B60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18b58ad423594a0df093f84dff33c5091cba6aac","datavalue":{"value":{"entity-type":"item","numeric-id":2151423,"id":"Q2151423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409748$51472EDA-AE87-45A9-AF5A-607D895F590B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c4126f41aa55f809ebb637deb5d362ebeeebb7","datavalue":{"value":{"entity-type":"item","numeric-id":276262,"id":"Q276262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409748$4B3EADFE-CAB5-4862-8496-A8027DFF85A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409748$6FEAC4D5-ECC1-425B-BC99-BE741A89F3EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc8ccd6409ec39a131efb1bbf173ea6446f0a71b","datavalue":{"value":"https://arxiv.org/abs/1608.05698","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409748$5AE68A77-4CDA-4F50-98F3-EF2345384ADF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409748$F6DD1475-D65C-463B-8937-A57D373D8C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409748$3AA93F70-9ECC-45BE-A6EC-5D31205E7895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409748$197F1C19-3E6D-4389-AA79-6522EDB1D856","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbe3166e3e339b394a51a4e8510c354dd588d396","datavalue":{"value":"6791235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409748$D7CBD018-D9F7-4E57-9D20-341F24441B01","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":"Q2409748$B80DCB69-6C38-4789-8F55-CE2A3A7581BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f331d9598c1fb7875039a9f211c7eb327008a228","datavalue":{"value":"W2511495980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409748$9BAC847C-A968-4545-8C82-E2E6E8AA988D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02875efcda45dd6c3450fa983afbefd43cb26b91","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623c13bdfcdd1baa18f17555428be9088c5e4903","datavalue":{"value":{"amount":"+0.7537806034088135","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":"Q2409748$80195BD1-104C-44DE-B140-0784CE1D7DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c0bec91397d2419c4cd6446727ef5c89817380","datavalue":{"value":{"entity-type":"item","numeric-id":4244301,"id":"Q4244301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77f57b7e9218ebeb6024b7f39ed0a1434a78326","datavalue":{"value":{"amount":"+0.7513099908828735","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":"Q2409748$CA771737-D1DD-4BBB-83C4-ABE2C6F1E861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf15563105d4ad85d0501988063639e6a909039","datavalue":{"value":{"entity-type":"item","numeric-id":4028371,"id":"Q4028371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25879d2e40880f9518c793a29a3e68593042aa3","datavalue":{"value":{"amount":"+0.7493851780891418","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":"Q2409748$BFA580FD-3E1B-4DD5-86B9-647C623E3A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e9b9d0f7d471546cf959849cfb3699590e8c97","datavalue":{"value":{"entity-type":"item","numeric-id":4533383,"id":"Q4533383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25879d2e40880f9518c793a29a3e68593042aa3","datavalue":{"value":{"amount":"+0.7493851780891418","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":"Q2409748$1793B8A1-2CC7-4B61-8EFB-A8A0E92D0C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08efddb0c59c91798f6d83d347d38436e2513acc","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d5d5506852d3f0e28f7481106795c1d634caf7","datavalue":{"value":{"amount":"+0.7484899759292603","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":"Q2409748$D3D09823-03EC-43AE-8E2C-30D0FEDD9A35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409748"}}}}}