{"entities":{"Q679343":{"pageid":681192,"ns":120,"title":"Item:Q679343","lastrevid":63433290,"modified":"2026-04-11T13:07:04Z","type":"item","id":"Q679343","labels":{"en":{"language":"en","value":"Executable temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1002416"}},"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":"Q679343$1AB4ED01-BA79-408C-9FBA-3FF19143D841","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d459201ba0619c69ce5930632c1e26669785f1a5","datavalue":{"value":{"text":"Executable temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q679343$43607516-6E9C-41BA-BD0F-D17E677D7ECD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b33d0917184f72b1a4c1f1ea3f6cc78cf0943d56","datavalue":{"value":"0865.00029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679343$AC05E7A4-2B54-4B97-93C1-9CE76FE6D88D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679343$A6375DAF-2209-46FD-8203-5F8D062FB943","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa3fc8acbe53ee4c3a9cd56a02a1835ac55ac87d","datavalue":{"value":{"time":"+1997-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q679343$2BAD51F2-6576-41B9-A6FD-43799AB417BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"99d94fcb96b4922701764df17c7515acf0422aef","datavalue":{"value":"The articles of this volume will be reviewed individually.","type":"string"},"datatype":"string"},"type":"statement","id":"Q679343$3266560E-7998-44C9-B3DF-CF7F01921340","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679343$6E2FAABC-3413-43AF-87EF-4064149546FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679343$7A0E8962-E23D-4B32-86FF-0D8BFBD313E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84dba79c221bae047cd644dce6275d3143b65660","datavalue":{"value":"1002416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679343$E078DCC9-8772-44FD-8A9D-DF3CC8EBF9CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"240e4c93701fe3676b6d820137e4da2c993ddcd2","datavalue":{"value":"Executable temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q679343$AF237ED9-8C4B-4C1F-87AC-9D78AB9A7AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30079201549958701bc79bc36ae8a8054f2abdac","datavalue":{"value":"Special issue","type":"string"},"datatype":"string"},"type":"statement","id":"Q679343$8B302928-4000-459C-B86A-69601CEF4525","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":"Q679343$ED43F09F-E495-45FD-B0D1-0A631A95E7D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Executable temporal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Executable_temporal_logics"}}}}}