{"entities":{"Q1806174":{"pageid":1816916,"ns":120,"title":"Item:Q1806174","lastrevid":71311812,"modified":"2026-04-13T21:23:15Z","type":"item","id":"Q1806174","labels":{"en":{"language":"en","value":"Reasoning with first order nondeterministic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1356390"}},"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":"Q1806174$105BFBD0-FB2E-4E55-A360-A1C47E5C2599","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eaadc632f1b8a3a89a3835a093350e87e0f43c3b","datavalue":{"value":{"text":"Reasoning with first order nondeterministic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1806174$7042E471-95EB-49EE-A96A-13543A832493","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a46e84ef9625aceb8282f287a62717b64261ea29","datavalue":{"value":"0939.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1806174$C511323F-E856-438C-B381-0B9B3477A8D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa73845da6faeb3595ac4dea6415bdc68ae4978","datavalue":{"value":{"entity-type":"item","numeric-id":229730,"id":"Q229730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1806174$B879CB40-C25B-425B-BD24-9E81151DB9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed09047f61aed6f93a67d195138968c4925aabf6","datavalue":{"value":{"entity-type":"item","numeric-id":1806173,"id":"Q1806173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1806174$4329B706-99C2-414E-B069-A7DCCF28EE0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1806174$0CF4CC34-30D4-4B98-B6EF-6C30B0754C07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a4d6512efa0fa89e17e38eada884c6f32c9ae33","datavalue":{"value":{"time":"+1999-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1806174$F0C67EC8-CFBB-45A2-816D-D94F1F9ECC36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1806174$2D7356DE-AED1-4D84-BD88-EA880F9C2CA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a55255af0f2cf1a332df4d973c97e07b89e8448","datavalue":{"value":"1356390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1806174$8A9066C8-E860-4CDA-B085-F774C6C1DF0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72e811392e8d3fe02f1fabdb5688d2cbf4378083","datavalue":{"value":"multi-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1806174$A6667B9F-EFEF-48BC-B007-35AFA2E1D399","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":"Q1806174$3F10D178-0AE7-460E-96BF-4601AF781169","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6f3db5475d62aeadf7a7d7599e188c944145c70","datavalue":{"value":"https://doi.org/10.1007/s002360050165","type":"string"},"datatype":"url"},"type":"statement","id":"Q1806174$98B1AA46-3347-4144-8AAA-0EADC0B0ECE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f25832b8779c9f7bbd6f1a3f5052ebc32f84836f","datavalue":{"value":"W1986234279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1806174$E84A9B1D-D23D-44DB-980C-4DB1A1B141DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24d45fd727923f1f15a647c6cae43c615d1256ca","datavalue":{"value":"10.1007/S002360050165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1806174$5CF1A210-BEE3-4BA6-9902-DECE1CD6C07F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776f3f5df5bd13b90f8361457781f76bfbbb6db6","datavalue":{"value":{"entity-type":"item","numeric-id":4250051,"id":"Q4250051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2e6a270648fcdffaf7be0082206bc66857c278","datavalue":{"value":{"amount":"+0.8970550298690796","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":"Q1806174$F7AB0998-375B-497E-9F10-153CA4A5A5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857bb6ab90e4894f8e07ef5cbd52b3cca919681f","datavalue":{"value":{"entity-type":"item","numeric-id":2369014,"id":"Q2369014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca7edf019e1f5f41c21037661f087ae7f24b6035","datavalue":{"value":{"amount":"+0.8156775236129761","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":"Q1806174$A0D96961-11B2-4123-993B-B46ECBBD3AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f474802c0cdfa5c61588f518913c1cb25d4b4ddb","datavalue":{"value":{"entity-type":"item","numeric-id":3992231,"id":"Q3992231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b36ee42e7b355ee7d8a28f71b46d63df748e546","datavalue":{"value":{"amount":"+0.7754713296890259","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":"Q1806174$F5C64662-ED5A-41A0-94D4-CD91B74B6920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3615db0c14cee2afc9933a562c6c4c4724aabad","datavalue":{"value":{"entity-type":"item","numeric-id":5287526,"id":"Q5287526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d646cba190009b8c8d8db1d30a5321066a12f0e","datavalue":{"value":{"amount":"+0.7711336016654968","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":"Q1806174$3A407715-934C-422A-AD9D-78C17D82DCB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning with first order nondeterministic specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_with_first_order_nondeterministic_specifications"}}}}}