{"entities":{"Q4381395":{"pageid":6410994,"ns":120,"title":"Item:Q4381395","lastrevid":46540527,"modified":"2025-12-25T00:09:20Z","type":"item","id":"Q4381395","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1136084"}},"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":"Q4381395$20A1364D-A942-495C-8FEE-423C54730037","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5bbc9aad4defc3c3da4c6d23f10db98996ad34d","datavalue":{"value":"0892.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381395$9F384994-16E0-4B21-932B-BAEC62162222","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a30c2c13b8e433f8b7509914fc24c7510ae2c202","datavalue":{"value":{"entity-type":"item","numeric-id":208764,"id":"Q208764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381395$BDC9DF11-7FE1-47BB-BDA4-4A2852E15DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b61b3e3d86420f2404999903222db49a891052c","datavalue":{"value":{"entity-type":"item","numeric-id":1276247,"id":"Q1276247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381395$7BE3000D-DE96-4305-86DA-38DD23B0A50E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"363664994bd3f98264ff6fc78db2cfbbaf8e3fbc","datavalue":{"value":{"time":"+1998-04-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":"Q4381395$41B4120B-0548-4485-88E7-B5FBEE90D674","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381395$35034933-2AB5-40BB-B287-B8403796D5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381395$21A55269-DE2A-4CF0-814E-A84923200B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381395$7E8CD9A8-6F9C-498C-B545-7962BB5C9BC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93b0398fe58151c0430f45e7f2d973d270823d2e","datavalue":{"value":"1136084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381395$FE202BBF-F3FF-41AA-B229-D462D2ECB21E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af82f964286631926ef7240abc8d43981a55ecb3","datavalue":{"value":"quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381395$64160271-73DA-41E4-B207-8447E6D52481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381395$A9E4DC64-9A9E-493C-81FA-6D3433DC1E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f66ac1238aba41ed60334d6cbd0154ced56b0bfd","datavalue":{"value":"Ehrenfeucht game","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381395$6A8EB06C-B501-42C6-8456-EEDC3A9EE95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6126605359c39008e33dc69a7938db4ea7e388a6","datavalue":{"value":"existential monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381395$51341918-A899-463C-9383-0B1E922738B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9396462cf4608d64e695fca182c92a98f1a9b61a","datavalue":{"value":"spoiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381395$536DDE78-7191-4879-A044-1B868E572D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117816c464c7958f447f6e07568eeff4b735729a","datavalue":{"value":"winning strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381395$0AD61597-D3C9-4803-9C23-915942000D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9145cc8185b138475b25084375639f768a7fac00","datavalue":{"value":"duplicator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381395$593155BD-794F-4A9A-9BCB-3473B394BD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff10316766418f3040468a679101a316ff76d8cd","datavalue":{"value":"inexpressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381395$188C09D7-C5F1-49B7-A9A8-FF2E31FA1937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15fbed3ce95f928d6dc607d8d9c17a811e1c007d","datavalue":{"value":"automata models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381395$2959C4BD-D538-472B-8A54-7E923F97AE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb45a366c5f73694d4193741149731f4b28dce52","datavalue":{"value":"relational structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381395$5F5292D8-BD08-4366-A080-18C830BDEB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381395$70115C1D-7F19-4E33-ACF2-EA8EB51642AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381395$2E89CB82-5190-40C4-B045-7C153D9FDED8","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":"Q4381395$B715C8D2-9065-4060-A1FE-48E13D72B458","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ccb900785a04b10a723f29e2357fe0bc182da1","datavalue":{"value":{"entity-type":"item","numeric-id":3836531,"id":"Q3836531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b3812d0c3ebb1229f36ea3cdf327e4a6e642b0","datavalue":{"value":{"amount":"+0.9393724799156188","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":"Q4381395$5CF3E835-1D13-4C55-B808-163198897F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88be81090168caba90cd3421c1a2afca3f08c83e","datavalue":{"value":{"entity-type":"item","numeric-id":1877096,"id":"Q1877096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43893ec573f3f1599972a781a69e1b70d6df3130","datavalue":{"value":{"amount":"+0.808353841304779","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":"Q4381395$5E04CBD5-637F-4FBF-BF0B-19C4205BC6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063470da879cd356ac1d191604fcda747cc3e800","datavalue":{"value":{"entity-type":"item","numeric-id":5436997,"id":"Q5436997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef46f75d18337a7202b24bc750a5e94d5a97f1e","datavalue":{"value":{"amount":"+0.7887030243873596","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":"Q4381395$76215775-F4C1-4BEB-ADDC-DE53EC479E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60ff79c50a64412be752e20a89a9d2c373d6db0","datavalue":{"value":{"entity-type":"item","numeric-id":2478544,"id":"Q2478544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02997e2e813b289842530ae945f235aa5a919bb5","datavalue":{"value":{"amount":"+0.7778993844985962","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":"Q4381395$78CFDC61-E104-430D-92CD-B6F9CC74ADBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4381395","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4381395"}}}}}