{"entities":{"Q3318101":{"pageid":3328809,"ns":120,"title":"Item:Q3318101","lastrevid":48687235,"modified":"2026-01-05T15:00:59Z","type":"item","id":"Q3318101","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3848600"}},"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":"Q3318101$8C58C998-15DF-40BD-84F8-BA1E5B3B69E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f56bef0d773815846e267d0756d8b096e27f6ef2","datavalue":{"value":"0534.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318101$00C548C0-60B8-49AE-B14A-26288328EBFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3318101$76442B78-114A-45C5-B673-D46045BA770C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318101$90195198-2268-43AA-8382-486E4D41CFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318101$E65E5A1C-2902-41EF-A214-B2899DCB1228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318101$ED5AC8DA-C0D4-41F0-BE9B-0D8B080E170A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318101$D8F03AE3-EF98-4F99-8725-137BC2ED82C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7091a2864ef19abed96eda955240b435826690c2","datavalue":{"value":"3848600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318101$E6DE1DBA-38FC-4B8D-8FEE-2318B48FD73D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a0b68d40831f26767202021dbeb6c749c36470b","datavalue":{"value":"dynamic logic, completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318101$CB2E59D4-0E66-41F6-92E9-143AA2268711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318101$437F917C-836D-4BDA-88DF-C6A6D4784B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42add9694273fcf9f5c36b120730ac4756fc4b97","datavalue":{"value":"axiomatic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318101$8A0F915D-3405-4E58-A5FB-7E9A1FB80EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8716d6197a9642b071041ee48858adff185b19a","datavalue":{"value":"flowcharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318101$7BCF6046-71CC-4051-BFD8-F5C015CF71F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135d8aedfa48efbdf272187bb5e64a07ac5bbe92","datavalue":{"value":"nondeterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318101$4AEB2D44-0544-4439-953B-904630FB7264","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":"Q3318101$B9A572B9-90AE-4EB3-A936-2C33E17D7DAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b8bae39ea3582b3d9dbc0059d40b3aef36eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a708fec8e28b27aee5f35acde24520d335cafc","datavalue":{"value":{"amount":"+0.8568058609962463","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":"Q3318101$444DAB83-E738-4E0B-8406-C81B17E50760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb3937da41f1bf8c9cb00b7c85ca58d6bd4f960","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be379e336976ecb35622d1d20805277d515a9650","datavalue":{"value":{"amount":"+0.8384056687355042","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":"Q3318101$3017EAF5-70FD-44B4-8408-C483C1466CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c64005798fa47d1e2e9fd7c57841c444121a30","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab1d4ef09e5d4cec230f83ba7ac9b3235b255fe","datavalue":{"value":{"amount":"+0.8226844072341919","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":"Q3318101$1EF274BE-BD55-47CF-8B8E-733C1E9352B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8227c58f50fa9702c619efa5e6b3509692ae1975","datavalue":{"value":{"entity-type":"item","numeric-id":5899095,"id":"Q5899095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9816af97e725b3c8b444ba4f70d441e0337b8d0e","datavalue":{"value":{"amount":"+0.8184913396835327","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":"Q3318101$06518BD2-A5FF-487C-9691-DAF46A8848F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459889d5310106929d088e8b9b294423d01d5621","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96c60e07fcf95ec1b0d018ba68b0c7535191c2c","datavalue":{"value":{"amount":"+0.8150128126144409","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":"Q3318101$6A99C296-B786-4DAC-A3E0-EA5E3DE08E8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3318101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3318101"}}}}}