{"entities":{"Q3172880":{"pageid":3183590,"ns":120,"title":"Item:Q3172880","lastrevid":85992638,"modified":"2026-06-03T13:15:55Z","type":"item","id":"Q3172880","labels":{"en":{"language":"en","value":"Size-change termination and satisfiability for linear-time temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954759"}},"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":"Q3172880$EA01ED6F-B4ED-4FD4-AB7A-E912AC0A7D45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54fd92ee0e2596aa4e988ccf365a674e6974c0c7","datavalue":{"value":{"text":"Size-Change Termination and Satisfiability for Linear-Time Temporal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172880$EE103C86-5210-45C1-92C0-24324CA79CB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f3e1a91f1d48b3962734a3a273d7906876e72aa","datavalue":{"value":"1347.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172880$1CA1DC1F-DE9F-465C-B286-95612A16DFAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c177ff753ebcc60e661b80262bfc7acb75e7ecb1","datavalue":{"value":"10.1007/978-3-642-24364-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172880$14681454-F7A1-416C-9B90-6FBBD33EB3DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$2ABE1687-3126-4A7B-B2BB-B6615354242B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$707F923C-40CE-43CF-B263-D8BABA1739D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172880$31BB9554-B533-4FE2-BB60-542B5EDD84E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172880$B25436E1-90A8-4361-8EE1-C199E5B0F428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172880$472ACBF9-9EAB-45AD-8DEF-841BC3E22332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172880$4BADB482-3012-410C-8A59-25686DBE2641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172880$1DE6BA23-FBFE-42C3-8773-3347E53DEFF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1383ce970140664fd8b1818fe29b43c2eaeebe8","datavalue":{"value":"5954759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172880$A5E4B362-51C7-4C50-A8F5-4BDAF10BEA74","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":"Q3172880$F4162B4B-29D2-449E-A0C1-B209B5679D20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d705ab88959916fa60223af1867f7014f9469b5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24364-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172880$86DE78C3-76EA-4258-ADEE-5000196348A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"811c65c7e02373ccce564849437c1c50fc2fa84b","datavalue":{"value":"W152742108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172880$7D2847D0-DE24-4E1D-AAE1-60E219B91144","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbb75377fe28d9c4d5cb2672ca813a70b1a4094","datavalue":{"value":{"entity-type":"item","numeric-id":5385992,"id":"Q5385992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$F9A202E3-5028-4711-A810-AACA8CCD8B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81881a5b3db4992d864f3635d02218f3e50f285","datavalue":{"value":{"entity-type":"item","numeric-id":5505555,"id":"Q5505555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$C383D9B7-9DA4-4868-9C65-6DBBC3A5507B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$662DD070-D425-4086-BDDC-9C55D02E5644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72133fa5aed061c3346d2e39c4b23aff7a408f87","datavalue":{"value":{"entity-type":"item","numeric-id":3617751,"id":"Q3617751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$F5AE39EB-5CC3-4F35-BFCB-DBEC39C30274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75cfb2ab625e62feb4087fd15200cab4e676b83","datavalue":{"value":{"entity-type":"item","numeric-id":3557078,"id":"Q3557078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$55DE3019-C497-4616-A508-EF6A6AD8B657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73772cb1a9d61af11e7e7f5f6664c6a893776d0b","datavalue":{"value":{"entity-type":"item","numeric-id":4791853,"id":"Q4791853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$FC29A4D4-C5CF-4F29-B904-2AD515A58AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077c9cc5c5eb40b039fdc94f403d2732fd84180c","datavalue":{"value":{"entity-type":"item","numeric-id":3525631,"id":"Q3525631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$343FCBE5-54BE-40D7-A9B7-8E51D74E5B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$5351EAD5-4EE0-4C12-8F8D-3243988CDB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$891FB146-171B-4625-8518-799215EE6411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$9B22023D-B818-4C1D-9611-D8D77278841C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd17b0dd92a1f9a870b16332456a96405ff902be","datavalue":{"value":{"entity-type":"item","numeric-id":4936139,"id":"Q4936139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$B41B5080-71A3-456F-B391-B648E1DE7D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc75e886fbdf71be23e2431e3d1861376cec723","datavalue":{"value":{"entity-type":"item","numeric-id":2771059,"id":"Q2771059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$4090FCBC-C8C2-4647-9482-561EB46D221D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$4FFF066B-1EB2-4915-898D-1E9CCE5EFAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172880$FDF1857A-802F-4F7B-BE4C-76D14E2F8913","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25afcc95721b7fe2091e3b03a1a2d95794deed7a","datavalue":{"value":{"entity-type":"item","numeric-id":2920121,"id":"Q2920121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2804472791303905dbb3ba24f0482d98a90c20f6","datavalue":{"value":{"amount":"+0.7755845785140991","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":"Q3172880$5AA72F10-33E3-41DA-9513-D2724DFF17DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4b83a025725df70d00421fd10e6fc3cea39ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5234701,"id":"Q5234701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a0f199e76e841a20df93d202a2930007bd14b9","datavalue":{"value":{"amount":"+0.774946391582489","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":"Q3172880$45291776-A86C-47CF-B984-AF97518C8CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa8bcf4a6e5e5c47d8f56333094c825f8422521","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a12c0494cfcc8cfc4d41b2537227cf6709b5ac","datavalue":{"value":{"amount":"+0.7675396800041199","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":"Q3172880$04EC7E41-93E1-409A-AA40-200769A0504A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6ed82a4e071cebe633b229977f5f8f7434700f","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbeba8e73b859c50c5f8fcb8906afd02d94ede11","datavalue":{"value":{"amount":"+0.7664850950241089","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":"Q3172880$91117E25-E5FD-4F36-899D-A98E98CC1C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd81e0a65cedb9e96f0071365f2fd193418d14b9","datavalue":{"value":{"amount":"+0.7606683969497681","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":"Q3172880$4E8D7382-33CE-4CC2-90BD-2BCAF8B6D6D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Size-change termination and satisfiability for linear-time temporal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Size-change_termination_and_satisfiability_for_linear-time_temporal_logics"}}}}}