{"entities":{"Q4733423":{"pageid":6763000,"ns":120,"title":"Item:Q4733423","lastrevid":49318864,"modified":"2026-01-06T23:10:05Z","type":"item","id":"Q4733423","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4119650"}},"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":"Q4733423$0177AD41-DC13-4A5C-892C-248E59CAF68C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e3cb3838e1bb3bc3640feb499f32e8f5615aba8","datavalue":{"value":"0683.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733423$E9957479-1292-4FCD-9899-78ACFB8046D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733423$1FA96C44-0507-41E5-8530-279F0DCE267C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4733423$EC91FA15-05CB-4776-BB2B-9103A14C51F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733423$159C351C-9203-4C7E-B9CD-D201B5339171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733423$01DCE375-061E-4662-AD47-4CF9CE46EE18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f71565e21187a008399dcac98be280a93bf91fc7","datavalue":{"value":"4119650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733423$D59E0AF6-17B9-4235-BC8B-60DB8B4C52B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733423$F2F8F08E-C1FD-45DD-85BB-516AC39EF1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733423$3A15ADE3-0B84-48FD-A218-814F0CFCF758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22faee7a58a8049518b23c537e4b85ea66f3563a","datavalue":{"value":"branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733423$3AA247E4-9387-4B8F-B0C5-A87061191C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20a53ccbf46d65ef62459a7d1e544b41dbe1fa1f","datavalue":{"value":"non-counting property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733423$9F203290-48FC-4E1A-9F53-B98486C7E4B2","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":"Q4733423$7AFD657D-ABD6-49F3-BBE0-7FDA5C70D334","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67266a4f620a8393150d30127a77d173cd57943c","datavalue":{"value":{"entity-type":"item","numeric-id":3768883,"id":"Q3768883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d7f156abe0c6744094a03067e2a4c2dba7d886","datavalue":{"value":{"amount":"+0.8010916113853455","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":"Q4733423$C09289A8-5991-437F-B7D4-1D673F203DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6bfe351a30763e55af7d50da8fc25f116b21827","datavalue":{"value":{"entity-type":"item","numeric-id":269503,"id":"Q269503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e3e7f170e1f041ca2fc83c271be6a1df3cc4ff","datavalue":{"value":{"amount":"+0.7968738675117493","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":"Q4733423$20255D48-629B-47DE-A566-649DE6F6F803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ca9d1e48f3c1310228720f0c9c1ac8cee7f0c3","datavalue":{"value":{"entity-type":"item","numeric-id":4376068,"id":"Q4376068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"156cea40bbad33a2373dcc93eba89dc42f61bcb8","datavalue":{"value":{"amount":"+0.7865790724754333","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":"Q4733423$A8E8C1FB-C4DC-4C09-9BC2-E4390C7A9965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2b0e0dfe140e013d76013b6a5951689556d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f34ef0b31bb4cbcc640f78b24eeb3ad41add0e8","datavalue":{"value":{"amount":"+0.7678074240684509","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":"Q4733423$E19EFA38-01C1-4A9D-978A-841E59BD86B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5f0e4090509a27db55135341d5c49c9c1599f0","datavalue":{"value":{"entity-type":"item","numeric-id":4733398,"id":"Q4733398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09291a2107ec0ff138cce21db824fb5d4df416a6","datavalue":{"value":{"amount":"+0.7613768577575684","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":"Q4733423$CACBA4B3-23CA-45B3-9EB3-A88B78DBDBC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4733423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4733423"}}}}}