{"entities":{"Q4247256":{"pageid":6276857,"ns":120,"title":"Item:Q4247256","lastrevid":46831695,"modified":"2025-12-25T16:39:04Z","type":"item","id":"Q4247256","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302017"}},"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":"Q4247256$72DE939A-6D50-49BF-8810-B905FF67A86A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8571fb1bc2d7d1f4f047b8ee2eeb332c59205cd6","datavalue":{"value":"0927.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247256$BBCAE26B-AB9A-4CA5-B402-2E42C78BF897","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74437932abe1c02d3e317ea7b8928b2fc0f8011a","datavalue":{"value":{"entity-type":"item","numeric-id":4247255,"id":"Q4247255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247256$5A3E7019-43CE-413E-9D4B-EC83AD6074CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2c35fb8a8597468e70992cceb470233a004c261","datavalue":{"value":{"time":"+1999-12-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":"Q4247256$DDB7BDF7-708D-4C54-9957-017A95CC8263","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247256$EC99FB65-CFFB-434D-8CC9-875EF2956704","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18b9798ac784099acfa5733e25d163175dff8934","datavalue":{"value":"1302017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247256$19139560-BF8A-4214-A941-9778DF62BDF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755a933adb167e01eae33695d067a9b3b5cd353c","datavalue":{"value":"situation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247256$4270BD0B-0332-4BBD-98BE-D11CAA00C91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fedcf07dc9ea8ea1ff0cb41317d81239cd9f3390","datavalue":{"value":"inductive definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247256$20C6E84C-10C4-477C-A5E0-1C3398B0C621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247256$D4B48374-B1F3-4EAE-81FD-B09FA46A5088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5be002c17efa9ca27df6cb44b7d7faefb39b15e","datavalue":{"value":"structural operational semantics of concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247256$194A5F9C-9F32-44BA-B197-F2F7A4F82541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247256$67242ADE-B078-4143-9B19-74888B6E6C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f83b1aa5c3c73185ab130c51100d98b8269b368","datavalue":{"value":"frame problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247256$C1E850DB-8A2B-4FE0-A237-A13E2ECB260E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a245876d16d79a7223ee4bf7599ceb24b2284a56","datavalue":{"value":"successor state axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247256$42A3A51E-105A-48B2-92F5-E5BA743D9665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b756c17b61fb84721ef0c2f5008581f3bc29c999","datavalue":{"value":"ramification constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247256$8B4B95EB-7443-48C9-8FAD-DD8DF98A2090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247256$4F3EA96A-36AB-4117-B1E7-45FF821AF578","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"043f286811bd7e3b25c26d8138a3f84c5097b5d8","datavalue":{"value":{"entity-type":"item","numeric-id":14703,"id":"Q14703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247256$4CB6FF97-ADCC-404E-AB8B-CD16F41DD854","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":"Q4247256$2C78108B-9E60-4E51-A7FC-341840D49E80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4648db1eea38fdab98e822b7e38226cabc1f71","datavalue":{"value":{"entity-type":"item","numeric-id":1028914,"id":"Q1028914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c7e372f8d6fd84263bc54a099b2afe78af5f84","datavalue":{"value":{"amount":"+0.85480797290802","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":"Q4247256$7EB0F765-6470-4355-A97F-4A8335241C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c6ce01cfd6012755942f0b3e9dfbe51437ace8","datavalue":{"value":{"entity-type":"item","numeric-id":3158539,"id":"Q3158539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d592387ca928ded3cc88c55907ac7312da27b8","datavalue":{"value":{"amount":"+0.8039109706878662","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":"Q4247256$778BF2FB-19A0-4F86-83C2-13D32336517D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6905217d795f5b01a9a3e75a8c73f2d110faa4","datavalue":{"value":{"entity-type":"item","numeric-id":5424863,"id":"Q5424863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a07d4a82ed27e5a7bf94d097e6ab67cfc771af","datavalue":{"value":{"amount":"+0.7586112022399902","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":"Q4247256$B489C308-6AC6-4134-AF4A-466603DC46FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d787ab3b06ca27004e146d65f559cf11507321a0","datavalue":{"value":{"entity-type":"item","numeric-id":4535119,"id":"Q4535119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5fb77c551af199ec760a77532c35cc22b8416b2","datavalue":{"value":{"amount":"+0.7523425817489624","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":"Q4247256$25CFD394-7477-4E33-802A-56A12F3149AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57fdfeebb8f65f96c129e77a02e6adf58168fc6","datavalue":{"value":{"entity-type":"item","numeric-id":543586,"id":"Q543586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f33b257ade753a00715c3b02a60f1dc46cf535","datavalue":{"value":{"amount":"+0.7508618831634521","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":"Q4247256$CE6614CF-B9D8-47F4-A1A4-8C442C13B1B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247256","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247256"}}}}}