{"entities":{"Q4239305":{"pageid":6268906,"ns":120,"title":"Item:Q4239305","lastrevid":46745739,"modified":"2025-12-25T12:33:56Z","type":"item","id":"Q4239305","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1278351"}},"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":"Q4239305$366F5EA4-8720-4EC6-BAB0-FD689D378C03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa67c3d3fcd7dc49cebb2a26c1ea39d740a60f0c","datavalue":{"value":"0928.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4239305$840C1012-AD7B-4E17-AC5F-1572C1B3C4DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b8e199579b5254fba377f48fbab9369ea5b029","datavalue":{"value":{"entity-type":"item","numeric-id":1774567,"id":"Q1774567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4239305$8E230C93-0C97-41EB-B000-A1DA7565C031","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"812459232fa4c956504336d3f0855150705edff6","datavalue":{"value":{"time":"+1999-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4239305$E1BA2E8D-64FF-405A-A88D-A2BDF89534F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4239305$184A9B53-2519-4089-B004-EEB838793FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4239305$36CE6185-0A17-4F34-B44A-00F9ED5E6795","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"019b5f3cefc710ef9daf57b260ff8a91bcff0f71","datavalue":{"value":"1278351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4239305$FCB5A3EF-7924-4EB1-957C-26B56651449E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2655323beaf2c8da9fb17d43e588760236b45ac2","datavalue":{"value":"stubborn set method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4239305$62BA8AE6-F656-4D78-929B-60CE0F3A9332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b00c383418dcc7f93ccd72284943d81460b3f068","datavalue":{"value":"linear time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4239305$47E92B3A-B025-48E0-B427-E49262E70AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4239305$28C446A5-C218-4BDD-B7CE-6C3209885B37","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":"Q4239305$D3979E7E-E42E-4985-A8DE-61C716E942C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f04990e0db6c9aeff1abc0d16d8e9a08477e183f","datavalue":{"value":{"entity-type":"item","numeric-id":1774568,"id":"Q1774568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12110d3f047d68e447aa8b92db8794754526089","datavalue":{"value":{"amount":"+0.8944405913352966","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":"Q4239305$F7DEECE2-3BAF-40A8-9905-55D7C25EDB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"028e3c660f5ed9512467b98aafec24c95689b560","datavalue":{"value":{"entity-type":"item","numeric-id":6487389,"id":"Q6487389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"677f1f27854026b251c3736d48a82cd6124b0280","datavalue":{"value":{"amount":"+0.8926447033882141","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":"Q4239305$CBCE97BA-1FF5-4587-951F-3149C886D0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f9c94bc5f592e002f3178d997ed103079b4518","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4d097ffc8cb8ec3d490918ffae236c42b80b10","datavalue":{"value":{"amount":"+0.8757430911064148","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":"Q4239305$42A98EF8-E911-4A5A-AE18-368B5AC3C2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d350ac85232661af1b34e74ab018adfebfeafa4c","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a64c17ffcc0660d5f09b7deabf6e63b0329ca46","datavalue":{"value":{"amount":"+0.8687660098075867","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":"Q4239305$FA4E1DBA-3854-4EB1-AE3A-3BBBEF348BE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4239305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4239305"}}}}}