{"entities":{"Q2233528":{"pageid":2244271,"ns":120,"title":"Item:Q2233528","lastrevid":73842627,"modified":"2026-04-14T17:27:35Z","type":"item","id":"Q2233528","labels":{"en":{"language":"en","value":"Stratified guarded first-order transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410587"}},"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":"Q2233528$BF178F69-BEC5-4406-B376-214219F0231F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f2bdcb8e119745b16c5258f27ea614d8ef67124","datavalue":{"value":{"text":"Stratified guarded first-order transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233528$8488C77A-51B8-4C8F-89F3-638098392C6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26e87b142ccb80fbd8d39a5512c94fb09ee80e9d","datavalue":{"value":"1474.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233528$8A303C93-1910-464F-970C-68B7467046AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f14b3759efa67d0d5db41fd62c68187e64b7a41f","datavalue":{"value":"10.1007/978-3-030-65474-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233528$AB948C3D-8317-4ABF-AFEE-483920D5A59F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57be9062d8f4e7dd1e3ed79e42ea10c437478f92","datavalue":{"value":{"entity-type":"item","numeric-id":2233527,"id":"Q2233527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$707A61B0-6EA9-4945-8314-BE22089CE168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$59E0E424-8EB5-4B5F-8C25-330E7FD54E8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233528$5C67D3ED-FCD7-4EF3-A65D-F1AFAA045DA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233528$F1E39BE0-1F92-4E98-97C3-8FCC4A2A3914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233528$90CAA3A1-44D1-4C2A-BD3F-8A4E1134B6A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9cd0390afe730b5b72714c3f5e018a8db3d42da","datavalue":{"value":"7410587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233528$856A3A43-8B7F-4E99-9DC4-AD8C38C6AF39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f04a24f0b9f1250bb4ee5637e66c413399cfc32b","datavalue":{"value":"first-order transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233528$28FE8EF6-5790-44CE-8545-B491078DCA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d37f25b541288951a57eb403426fb3bd46c73f1","datavalue":{"value":"universal invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233528$7C280885-979B-40CB-9573-9DB17277884E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c13610f26b20136cdc136cf0db05fb7289e31a5e","datavalue":{"value":"second-order quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233528$41628100-2D97-4429-A0A8-81F1D5CE3F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f23b08d2781e3f127d59df2af253bb6089bfce7a","datavalue":{"value":"stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233528$4691F4E4-5072-48CB-9B82-2B82FB1AD0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233528$960F46A5-6C69-482A-884A-879C07167A0F","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":"Q2233528$CA55EF91-0B6A-425A-B0E5-E7E071F64328","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f4080452b550257184b5305793de791c55be53b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-65474-0_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233528$2A1C9A59-16B9-492C-9F18-7DAC71B64D3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"080ac0afd0991b360b4a219b287829236f6301fa","datavalue":{"value":"W3119884793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233528$E7E3A421-014C-454E-88ED-DFCE91A0E8DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"029667a77a0e7ddaf05a9a372f6983038716bef5","datavalue":{"value":{"entity-type":"item","numeric-id":2374302,"id":"Q2374302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$01FD494D-F66C-4C0D-85F1-214D6B2E75EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece5a7219afdde4c10caada730f4efdb72bf804b","datavalue":{"value":{"entity-type":"item","numeric-id":6154883,"id":"Q6154883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$134B3408-91EE-4D55-87E1-187A67DD84BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$7EDFBD0B-B7ED-4115-B2E0-77C27195FC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$4A7A47DA-0E18-46B4-941E-43DCBD0E9FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13a38b87f3b20c7063408a10453103a3d61a75b","datavalue":{"value":{"entity-type":"item","numeric-id":5232900,"id":"Q5232900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$5D8E0030-5B2B-4F87-886F-54D6DB42360A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8456fa0a6b70a962dd57b63b8ca7aefcbdd73343","datavalue":{"value":{"entity-type":"item","numeric-id":1990507,"id":"Q1990507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$43429022-7742-45E2-8D23-E928A1E4E7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d9c86154f755477b019e139e0ec45e0822d154","datavalue":{"value":{"entity-type":"item","numeric-id":3543581,"id":"Q3543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$79708795-8DA1-4454-A556-0A07D3996168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$8F4D0E4D-8179-4CE1-9FB6-4F435D7F5E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$A268C5E3-2FCD-4620-9640-B03268E7C113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f87447fd9e48200c94082f5c54390365be14594","datavalue":{"value":{"entity-type":"item","numeric-id":3177887,"id":"Q3177887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$05879F1B-5774-4FB6-A549-BAC9336FDD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039ef2715aff948a023b817faf30cce195da0a45","datavalue":{"value":{"entity-type":"item","numeric-id":6041167,"id":"Q6041167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$5240DB7D-53F6-4F41-BB05-950D49F4307B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2272b3ece659ce63040003ddf21ed42bbd8bd444","datavalue":{"value":{"entity-type":"item","numeric-id":2819856,"id":"Q2819856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$5D3ED5DE-F8E3-44BC-B989-1005C5DB3CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adaf08cc2d75d40d9af63f2dff7037cce33c5f56","datavalue":{"value":{"entity-type":"item","numeric-id":2828258,"id":"Q2828258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$0A8C8C35-58B6-4F70-AE9F-BB0CF3DB8639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae8d52d79b599f507d0dbe20fa0b710fce70571","datavalue":{"value":{"entity-type":"item","numeric-id":784157,"id":"Q784157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$7B90C02E-7684-4DFF-BE92-F92522B5D46E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca6648999986ea0b7b50034bf80d8dc93d6436c","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"918920bc358e837ca61e90b76b79a9849ac5420e","datavalue":{"value":{"amount":"+0.6902130842208862","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":"Q2233528$73A5E95C-5974-4D71-859D-378B7A1E8E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca26097a05cbf4ea7f1980e0eae9fadc393cc59f","datavalue":{"value":{"entity-type":"item","numeric-id":4417916,"id":"Q4417916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1538163a37f5ac085668c3583de71962dff71094","datavalue":{"value":{"amount":"+0.6768109798431396","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":"Q2233528$80E3B8EB-EB5E-41E8-9003-7AAE9744F2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c830664dcd3a6f8347c5d96522ebaaeb0b2e23d9","datavalue":{"value":{"entity-type":"item","numeric-id":5901600,"id":"Q5901600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f72b55e7190798b59d4f35ad1a6bf6e7dab3a0a0","datavalue":{"value":{"amount":"+0.6765117645263672","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":"Q2233528$391794CF-5903-4254-87D2-93F1CAFA6D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798174fe63c42137909f6029302fb872ec8e4c36","datavalue":{"value":{"entity-type":"item","numeric-id":2754156,"id":"Q2754156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dba8e786ed18a84c6c034b6b0836b1d471ee5a0","datavalue":{"value":{"amount":"+0.6755897402763367","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":"Q2233528$B5A8A6CD-115D-4418-B734-D71D1A2CF009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c593662561f1d9f007b40aa183893b0c369c0fba","datavalue":{"value":{"entity-type":"item","numeric-id":5902412,"id":"Q5902412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f4e44176a9c29ba9fb0c3f05f9d3aca3b544d4","datavalue":{"value":{"amount":"+0.6739162802696228","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":"Q2233528$CA743161-B3C6-42AF-B64A-46D66F1FC297","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233528$3D8864FE-04A6-48A5-A849-06D4F30AAE35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stratified guarded first-order transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stratified_guarded_first-order_transition_systems"}}}}}