{"entities":{"Q439961":{"pageid":441728,"ns":120,"title":"Item:Q439961","lastrevid":51529823,"modified":"2026-01-18T16:05:36Z","type":"item","id":"Q439961","labels":{"en":{"language":"en","value":"\\textit{Once} and \\textit{for all}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6067713"}},"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":"Q439961$467E5AA6-BE90-44B8-9548-E0CAA33385AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba01f4f2adf94db3aabf1d0bca339814a840684d","datavalue":{"value":{"text":"\\textit{Once} and \\textit{for all}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q439961$F128C628-506D-4C73-A8D0-FBC94D462F57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d1ca96425bda040294d154903002523190d5c5e","datavalue":{"value":"1245.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439961$8EED09CF-9B55-40B8-94AD-C5203554D094","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$E466754F-B723-4310-82CF-7DE379A4DB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$B4D0B80C-EC35-4B91-A2E3-C30644C20F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$5E331118-B683-47FC-8326-8508ECEA2E43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$FCBAF6A9-108E-4760-A808-AF3AF717D78C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b603f6512fef6ae8133f8f1ff885bde2efd37af6","datavalue":{"value":{"time":"+2012-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q439961$1F782C18-ABDA-4E68-9157-7E59BC78242F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439961$274F30F2-EFA5-4EA1-BB40-C264F73392C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439961$FC7AA051-2970-49F5-9778-7CE12D5823DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd0f9d0d54f81d981c7585af0303fc7de856803e","datavalue":{"value":"6067713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439961$83FDFCDF-1603-4538-8229-D5FAA8137CA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q439961$65D0EEFB-5E6F-4EDA-9A5D-F0B9AE4FE1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a3b1eeeae23382c29280a98c08f7a1e4b1ee5d2","datavalue":{"value":"past-time operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q439961$9FEBE5FF-A372-4436-A7D2-A4323B14B4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q439961$F1656CF6-47FC-46C4-B4D7-3F8FC22E8D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q439961$80E7E207-4285-459F-9243-5E75AEFA375B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q439961$C714C6C1-01C4-45FB-80CC-EEF32B58D010","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":"Q439961$F5F07DE6-33A7-45B4-8B61-C054556D89FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c03d84070dd95b7a8f336148de8b1a0d73646de","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2011.08.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q439961$63BB732C-88B6-47C4-A932-DFBE006A2820","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d80de0e10ac2a7a1e4af91b3d3f0795504a8c3cb","datavalue":{"value":"W2165306422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439961$E5BF41DF-AF6B-4FCA-9A2B-C0AA2167E2CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$22241BF7-5E99-4BA6-8A55-DF361D371872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$46DFC932-CAE7-4B59-83A5-99DDA0D3004A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c51cb42cbdd05600271a9e4ad225bd545662faa5","datavalue":{"value":{"entity-type":"item","numeric-id":1854327,"id":"Q1854327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$2D7B410C-9367-4A07-8A0F-286C60C97A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fce396657662d76f5dac0f33566dbff096a660","datavalue":{"value":{"entity-type":"item","numeric-id":3740223,"id":"Q3740223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$DC1D4CBC-0365-481E-93CF-9AB4A563C6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$911382B5-3BAC-47AD-83E8-96096A4F94C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d63fad87ee9ef86f723aa7605967cbf5545e39","datavalue":{"value":{"entity-type":"item","numeric-id":3768883,"id":"Q3768883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$91059967-E54C-4C33-BD33-3C1A3578653A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9fb3d37eaa42c39fd894af0866ac61438610a5","datavalue":{"value":{"entity-type":"item","numeric-id":672329,"id":"Q672329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$E23B3587-DAAC-4418-A9E4-D18A69F725BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc5db43eaf35bb5b801516b08f876b5e7d02563","datavalue":{"value":{"entity-type":"item","numeric-id":4276172,"id":"Q4276172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$4158C26A-A9A9-44C6-A21F-376935D6842E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$485B8255-43F2-4624-9D1A-505FD39E70C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$C7D64872-2733-46EC-8AE7-3D6209BDA67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$650EB89D-3ABD-404A-9574-A13DD8FA9021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$35D26066-2494-4F93-93A3-9F8918AE3A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d973e73eafcd828b32de8985a1fb1c127439d9","datavalue":{"value":{"entity-type":"item","numeric-id":5458359,"id":"Q5458359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$0B3E5B0D-063C-47F3-81CF-49DF7F9FEB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$72FB9695-A255-4286-B981-B4D603B49D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd20765387edd5a236d5ed5cd6761cd0e1b664d","datavalue":{"value":{"entity-type":"item","numeric-id":1801315,"id":"Q1801315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$BF1C5AC7-8AE6-4652-9C5D-E88BA2E61EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$E92F3456-533F-489F-AB6D-AF912715306A","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":"Q439961$812B3D05-77E6-48A1-8BCF-910F301EF4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$F76269DC-0895-469B-A5B0-5EE0FC86C5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$661500BB-9310-4C5D-A521-F07B6E64C08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$520FAA17-FF3D-4195-A672-CB29FE06AEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67aa0df6c0fc27786ebfa5ec52093be9eac8c44c","datavalue":{"value":{"entity-type":"item","numeric-id":4501666,"id":"Q4501666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$19C48D66-0AF7-4822-939A-5CDC8BE8CD65","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":"Q439961$F13E1771-6AF3-4111-B7FF-C18E52D829D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$BD0CB1F0-8366-4125-BBD3-E5CFDCE9C09D","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":"Q439961$124B9ACA-2156-4AE8-9938-83A63FEFC840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439961$9BB517BC-78E9-4D6D-ACEA-6FE7A60C0DA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dfba0c5f644c34f96d855af0e65633c0f0ef50f","datavalue":{"value":"10.1016/J.JCSS.2011.08.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439961$A2BF0742-12C8-44EF-93A2-06119E8D2B2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fccc82afcec1063201652827c9e75f100e6e4b84","datavalue":{"value":{"entity-type":"item","numeric-id":672329,"id":"Q672329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd480f40a55fd2658958ee328522bfbabd81a50","datavalue":{"value":{"amount":"+0.8574895262718201","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":"Q439961$9704EB88-0E2E-44BC-8F91-E04CABFCB640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be0a25b80c2674b62063497e44b388e11e8effd","datavalue":{"value":{"entity-type":"item","numeric-id":1337463,"id":"Q1337463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f412a9667ca048e8f706be80f8f0d8882fd25b","datavalue":{"value":{"amount":"+0.8485566973686218","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":"Q439961$203E7B74-D094-4390-8D28-0CBB13F5CF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4281e9ce37be85485a8198911abb70a3483aa3","datavalue":{"value":{"entity-type":"item","numeric-id":2842605,"id":"Q2842605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c12a15a793e46dcd7bccbd1c1b4f0fe5ed95ebc","datavalue":{"value":{"amount":"+0.8373667001724243","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":"Q439961$DEA89DEA-520C-4EAC-B455-3F3BA000F6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd32c0fcda951f0dd7234c03f373a0b5158989d0","datavalue":{"value":{"entity-type":"item","numeric-id":1889855,"id":"Q1889855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd163a9eef0242175b991857a451185d6ddf617","datavalue":{"value":{"amount":"+0.830943763256073","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":"Q439961$BD5A46D3-5AC4-4B00-8929-8BD5C701EB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e7a5e12710018f3e40c65a017f1cdd9b17ddd1","datavalue":{"value":{"entity-type":"item","numeric-id":5458359,"id":"Q5458359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85b28a633c31babfaa12f44ed24fd4e71c37573f","datavalue":{"value":{"amount":"+0.8230434060096741","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":"Q439961$D2C66718-FA4E-41B6-8AB6-3842549733D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:439961","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:439961"}}}}}