{"entities":{"Q4430396":{"pageid":6459995,"ns":120,"title":"Item:Q4430396","lastrevid":48183787,"modified":"2026-01-03T21:41:01Z","type":"item","id":"Q4430396","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1989649"}},"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":"Q4430396$301A8463-8370-461D-BB4D-1DF890328934","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe9baa6c6b0cf2028f2c0632e820737251bb60ea","datavalue":{"value":"1031.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4430396$47235E74-221B-4EE8-BD7D-CEC7FE1F4CBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4430396$645BB82E-D471-4A23-8556-83E93259F41F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5af1b51e65d3c79691bfa39e46529de494c9c898","datavalue":{"value":{"time":"+2003-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4430396$AF4E92C7-D1A7-4D28-A193-01CA629EDBFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4430396$2A967B5C-2ECB-4E3C-8B46-BF1E54F2EDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4430396$5AD601AA-7A3B-4232-99EA-3CCD7B9C61ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4430396$506C6BCD-308E-47A0-9D1C-C2B377AFC9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4430396$20094F3A-04E4-402A-BE43-180E32D99D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4430396$00EB2DAC-5676-41B0-9DDD-F88AEE0F672E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e071158f6b91944f3828f79f101a8b136e5cee19","datavalue":{"value":"1989649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4430396$F75C25F9-D80B-4B5A-B2ED-E0439C647FF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867edb5f1fbdfc859e4a81b4fd3af4f5726fbfcd","datavalue":{"value":"multi-modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4430396$6C1CF4EC-941A-45B7-A2B4-6D80E1C2DD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4430396$2B600DC9-48DF-486D-BE59-454400435237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4430396$2002DB41-5CAC-4F92-9B08-5C6FDE16E824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc6cf72ec089bb221e426e4380bbc132cdb538e4","datavalue":{"value":"right linear grammar logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4430396$9A62E6A9-82DD-41ED-BE58-5E4C3419FF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4430396$4978B53F-08F1-4846-A4CE-02B3F649E2FB","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":"Q4430396$90C87CE9-7723-4624-B9A8-9BED72191EAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35c46a0da9a3611bfb718196ba9252ff3762cff","datavalue":{"value":{"entity-type":"item","numeric-id":4529491,"id":"Q4529491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e08f0d4f9e6457d60a0a556ee17bf207068f7e","datavalue":{"value":{"amount":"+0.8176810145378113","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":"Q4430396$5063FD07-2E64-4477-8E3E-9B1192593F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f0d7c25a9d8fa5be3fad18bc0c5fd8bc204f03","datavalue":{"value":{"entity-type":"item","numeric-id":4910732,"id":"Q4910732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046ae472d03d4689f389a598e219bac4dcd1674a","datavalue":{"value":{"amount":"+0.7868457436561584","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":"Q4430396$D0137884-0C4C-4789-82CD-C62A02CFA1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32da014e27af5b8721b1d32334147627c3a21ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5483012,"id":"Q5483012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f41c214941ab715c8e630b5677d4fe7c90553e","datavalue":{"value":{"amount":"+0.7824557423591614","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":"Q4430396$0E0D50DB-3A7A-48D8-A6E9-19FD0394AFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0907db0d905b6c81387ba2c300e96a439cf2b05","datavalue":{"value":{"entity-type":"item","numeric-id":3351355,"id":"Q3351355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97660edb2ac222456f679491b4c01b65b9af6b45","datavalue":{"value":{"amount":"+0.7807912230491638","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":"Q4430396$4E5EA957-FA21-444C-9EB7-157B67BAB6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e7e169433d0369f37f847f1d0ec7a8a26bcb86","datavalue":{"value":{"entity-type":"item","numeric-id":1329742,"id":"Q1329742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"485cf4903f90ab3a6c8a7980d6a1d0107575406c","datavalue":{"value":{"amount":"+0.7806577086448669","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":"Q4430396$A47ADB8D-6CA0-4017-B4E7-215ABE3629CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4430396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4430396"}}}}}