{"entities":{"Q5042249":{"pageid":7071826,"ns":120,"title":"Item:Q5042249","lastrevid":92177177,"modified":"2026-06-05T01:03:54Z","type":"item","id":"Q5042249","labels":{"en":{"language":"en","value":"The subtrace order and counting first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7603929"}},"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":"Q5042249$8753E806-FFC5-425E-99F7-5AE57BF1FFA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0f67e23020cbb845a3384895e04d6d413cb00f3","datavalue":{"value":{"text":"The Subtrace Order and Counting First-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5042249$5605A578-42F2-42AB-87A6-E62AA4FD5F3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2eb2824dd3e8b870ab65f89c6da810a0b4946ff1","datavalue":{"value":"10.1007/978-3-030-50026-9_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5042249$E37EE57F-51E5-4491-A4F3-5D6DE782463B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$FDFBA8F8-7523-4F44-9569-429F57051030","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97438a474fa9016a347f4cd04b83f9b2e3f53d6b","datavalue":{"value":{"time":"+2022-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5042249$E9E265B3-11C1-458C-AF28-BBE78BFA0509","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5042249$E9F48551-9E29-434E-B9F9-55231F134060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5042249$7339B998-B0C4-41F4-97B5-4BBD4DEDB5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5042249$CFB23807-4D6D-4CAC-A17A-786A59EEC276","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c19ee3c308e47bacee136482320c5f5a429ec43b","datavalue":{"value":"7603929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5042249$6AAD45B6-658A-4C7E-AD8B-6A2311E69962","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048dab55940c5c060a72a2bbad5f3dabbb5c4f18","datavalue":{"value":"Mazurkiewicz traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5042249$CCB2431E-D094-4E4A-8F86-5317F76611EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4021a5305187ae6dd420a3d222c45ab6b651e2a2","datavalue":{"value":"counting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5042249$677840AA-47F4-4F1C-8154-96F902084313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfdb8c634bb4733791f5fbedaca453f67dd5fcd8","datavalue":{"value":"subword relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5042249$FC5A7835-094C-4CD7-B769-259BEB59EDCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$C0D519C0-9DA8-4D49-A2DD-CBB05A947303","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":"Q5042249$90ACA824-76E6-4851-A2E0-13A01974A345","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fef9c4627418710a68bd2e0ca1c3b67cff6ca0e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-50026-9_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5042249$706FC793-D1E1-4A85-AD34-2BF2DB31A7C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"055ecefe056318ea558f3fc952560e998ae2608a","datavalue":{"value":"W3036873197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5042249$68D7D95E-F9DA-4361-89ED-0890E5CA0F4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$0EBA62D4-6B19-4798-BB43-711E3BE42DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2321ffc17406524f453e4fee8339197a12bf2512","datavalue":{"value":{"entity-type":"item","numeric-id":2536784,"id":"Q2536784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$650C01F5-9F57-42FB-9B31-92D679AEC383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$B12BC0D6-F313-44D0-89C2-CAA679E8CF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f7e382b8d9ba21624462e67ab02e3dfc00b110","datavalue":{"value":{"entity-type":"item","numeric-id":5144688,"id":"Q5144688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$45201F67-D2FF-430A-9DAB-F7FA3F1DFCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$AFAAF835-F567-48A5-AE7A-F6523EEF5250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bc55bbebf244b783725be10b3f699ef115994c","datavalue":{"value":{"entity-type":"item","numeric-id":1040653,"id":"Q1040653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$B0CF5C4F-B1D2-4E8F-9ACC-314F5D6C7F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268215eabe63c194fce53ee3bac67832ae5f0141","datavalue":{"value":{"entity-type":"item","numeric-id":5278312,"id":"Q5278312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$5A1AEDA9-4A80-492D-8C16-851E8F8DDED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a233fcab6dc667be55156cf2e7462450b6086506","datavalue":{"value":{"entity-type":"item","numeric-id":5376657,"id":"Q5376657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$EB3AF87B-B683-4D22-8A50-FDF8669F3593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aad2097292bfd22ad07898ec6479efa2aaca651","datavalue":{"value":{"entity-type":"item","numeric-id":3576212,"id":"Q3576212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$7C3500C3-85BF-4DA6-BE3B-A357DA5027C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1079b68b3f473db8eb4c3717e731517df0a941c3","datavalue":{"value":{"entity-type":"item","numeric-id":3374756,"id":"Q3374756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$BDD0C944-41C4-4A01-A612-71BDB6DBB829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87260062ab7de4aac1c9cbaeb9c1df0eb01723a2","datavalue":{"value":{"entity-type":"item","numeric-id":5089232,"id":"Q5089232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$D340C4DB-BF9C-45AC-89F7-DF701EDF416A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f51663ccd600014e842d4cbd05dbb5d9909d7c5","datavalue":{"value":{"entity-type":"item","numeric-id":2289086,"id":"Q2289086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$2BFA48AD-2675-437B-BB2D-93B2415B59E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81052ff5da1a9b70b7438d6113d6c490f60d54a7","datavalue":{"value":{"entity-type":"item","numeric-id":2523351,"id":"Q2523351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$34FE71E8-4C7B-4AA4-B7BE-50D79E511E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$A4809180-6F5C-4547-BC69-14D2A79B6ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042e37c916bdd454c20a5cc8fafc122e3459ab57","datavalue":{"value":{"entity-type":"item","numeric-id":4683860,"id":"Q4683860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$D4105972-DB8B-4337-B11D-30A0FC985296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21001737b2e7188bee1dd40c3269741d69c9efe7","datavalue":{"value":{"entity-type":"item","numeric-id":259729,"id":"Q259729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5042249$18959178-5A66-4F3B-B776-36C0706BC733","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e820d2d40614e50b4435094c43ad46d5792d36e2","datavalue":{"value":{"entity-type":"item","numeric-id":5089232,"id":"Q5089232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36bee833c1c2e2e06b8b7e77cda0297d91d85f3","datavalue":{"value":{"amount":"+0.8246989250183105","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":"Q5042249$5FA4DA3B-483E-4DAF-9C8A-0745A74D66BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2bc0ba3a173a53bee7921b6abc4c634b7e96b10","datavalue":{"value":{"entity-type":"item","numeric-id":5431910,"id":"Q5431910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a7fc9b7d038cda4bed30cfdff0c798988d84261","datavalue":{"value":{"amount":"+0.8086845278739929","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":"Q5042249$B77CF6EF-FF6F-4BB0-8AFF-4865B8BC811A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425c06486b5f5dab3687780cdd68f8d613f4fdb7","datavalue":{"value":{"entity-type":"item","numeric-id":2687036,"id":"Q2687036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87062c2bbfd41ea521d858f08ee8ee95b102abb6","datavalue":{"value":{"amount":"+0.8015353083610535","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":"Q5042249$144D09C2-7AF2-40D6-B967-3B03AF439410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f246291c05132c6dd1958a1370f86976eea70028","datavalue":{"value":{"entity-type":"item","numeric-id":5428216,"id":"Q5428216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a629d953336d7b080c5319b28ba11f12d6ab665d","datavalue":{"value":{"amount":"+0.7933307886123657","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":"Q5042249$49BE150C-EE4B-4E08-AB80-7BDFFCE75020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4a0e8b1f0a8f287c0593ce85c9d6611e9e12f8","datavalue":{"value":{"entity-type":"item","numeric-id":2893298,"id":"Q2893298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c08f9ca4342885a0fbdeb3bfd95356b84ecf92b5","datavalue":{"value":{"amount":"+0.786409318447113","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":"Q5042249$6FE311C9-2DA8-4876-AD27-8ECE6233D861","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The subtrace order and counting first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_subtrace_order_and_counting_first-order_logic"}}}}}