{"entities":{"Q764311":{"pageid":766160,"ns":120,"title":"Item:Q764311","lastrevid":64161234,"modified":"2026-04-11T18:03:09Z","type":"item","id":"Q764311","labels":{"en":{"language":"en","value":"Generic constructions for behavioral specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014303"}},"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":"Q764311$04CAFB51-4DBC-471E-AEE5-CFF112D263A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f22669a7e672d97e088546bc1b71962e1b1ad470","datavalue":{"value":{"text":"Generic constructions for behavioral specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764311$F0F7605C-821A-4727-9EA9-780474B764FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da805df2b3f0281ad1e72e007f849526cacba831","datavalue":{"value":"1282.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764311$D40A30A6-170A-4341-A23C-164550F9934D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b94f6b7e5430cd481e7710f9d089b8ff4b05e03a","datavalue":{"value":{"entity-type":"item","numeric-id":764310,"id":"Q764310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764311$4AF5557F-08FC-48FF-B29E-786305915093","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764311$4925EBE2-38A8-45F1-ACC9-167653F474B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764311$50AA0F4E-9B05-4150-BAA3-FBF0F8E6852F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764311$DDF8E38E-55AF-4EDF-86EE-A99E2D20CE6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f03c867c19a53a7f072fc65cf849df7aead2a50","datavalue":{"value":"6014303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764311$5F0687C4-05EA-4F40-A1ED-4AC9F67ACC87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q764311$BE337C76-194A-4CA5-999F-B188FAA33642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f508c60def27dbe34a17e9a5b53499e38c877776","datavalue":{"value":"behavioral specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q764311$6A076A63-2C81-4050-8251-C920A76F79B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q764311$E4B8F1C2-7ADC-4D5D-AEB2-C146F9C46113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b597593329c9e3a91e75822e54d2346a2f604bf","datavalue":{"value":"theorems for free","type":"string"},"datatype":"string"},"type":"statement","id":"Q764311$1F5A0AD3-695B-49B1-9DE3-7777A51B40D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q764311$43DABD50-F19A-4E2A-8911-094F8DA5AC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de1631c3da19ab79dee1eda94db01e21ac692503","datavalue":{"value":"generic constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q764311$C2C8AE2C-14C7-457D-B358-055A0E00400A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q764311$6E888C82-5C23-481C-8983-133E3EBB4FDB","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":"Q764311$88C7AD8B-FD05-4A7D-9A3F-F5D3007A640B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6e374660ae45d5b7d6e3431284d5274d5c66204","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.10.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q764311$473B0104-2F88-41DC-B31A-43849C08A2C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5399639c4662c0d14f0b91d25a0c166620a2d5b","datavalue":{"value":"W1975098595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764311$EC600F0A-706A-4A5F-A8AB-0EC23F39DAC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c218cb19a33db43583c1fc20a28678e38d46e1","datavalue":{"value":{"entity-type":"item","numeric-id":5395110,"id":"Q5395110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764311$0C646FEC-3389-4D5C-884A-A45FE1B00118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3efc8113f0e87f554f42d06a30f2756a27c96675","datavalue":{"value":{"entity-type":"item","numeric-id":2369030,"id":"Q2369030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764311$6CAA8F1B-C730-4AF1-A722-A963C6C4876E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04437c2939a1cea8d2351b50ae61cc8f5e446ece","datavalue":{"value":{"entity-type":"item","numeric-id":5757925,"id":"Q5757925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764311$45116648-6A6B-40CD-A09B-78C34AFDDE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f96619720ca39abf0e06f964c2c9686d8df52f","datavalue":{"value":{"entity-type":"item","numeric-id":4708555,"id":"Q4708555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764311$CF5FE7F7-7F10-4937-9FE1-342713344912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7828b31aa2cd9c80bb050b0b1e43dfc8000638fd","datavalue":{"value":{"entity-type":"item","numeric-id":5458070,"id":"Q5458070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764311$9B646154-BCB3-4D59-865D-CF2C8B7675CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764311$58BA0CEA-9807-4611-878A-ABCEE372D247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb5ded68ded67bcbe2d04bb04d0070e011ef63d4","datavalue":{"value":{"entity-type":"item","numeric-id":764311,"id":"Q764311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764311$60553939-6388-4FB1-8388-841838189D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764311$69588438-B23D-4C43-AD2A-D2FEC588BC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fb92aa97215cd52dfc07da2e9bd2fd28ab427e","datavalue":{"value":{"entity-type":"item","numeric-id":1090100,"id":"Q1090100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764311$679F93B3-DE90-4E5A-9358-2EF12DAF82F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1fec13708686f567ce8f652a4b4b1f5722daf5","datavalue":{"value":{"entity-type":"item","numeric-id":610397,"id":"Q610397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764311$7E425C43-4A57-4377-89F2-1886F89ECBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6ec98166791d48c4cdf7c13fe81a94192facd","datavalue":{"value":{"entity-type":"item","numeric-id":3685162,"id":"Q3685162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764311$BA9AB22B-0A02-4B99-913B-919071F1AB79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8beb8a7bbc798a2285134eb36dfc661eda34d93","datavalue":{"value":"10.1016/J.TCS.2011.10.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764311$AD686A64-5C8D-4319-B2D4-7F6B0C62DB5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56cc48f58d9e12c7bd4391708c6de4f7e4836ef9","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e489fc9cd1520c7d6ecf1255e9b93b7640d42397","datavalue":{"value":{"amount":"+0.7060842514038086","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":"Q764311$4F1D3866-C0AB-4BA7-91CB-321180C5E90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7239408bec0d20bc8a7b1f5ee5fb837267093bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1402466,"id":"Q1402466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecfcc3d816d6411d6c0644410f3e56aa9fe2a78e","datavalue":{"value":{"amount":"+0.7056655883789062","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":"Q764311$DAB42144-5218-4E06-B540-E53B3997E19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010af94014ce978ba13182ef3232a8be522ea466","datavalue":{"value":{"entity-type":"item","numeric-id":4471714,"id":"Q4471714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ffbe5a15d4143107eeb3335bc312f074d1ae1fa","datavalue":{"value":{"amount":"+0.6906256079673767","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":"Q764311$E3013A25-A20F-490C-87E6-E14A8470C859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942b55b1739df49d0810db3076227b3b3602e20e","datavalue":{"value":{"entity-type":"item","numeric-id":406465,"id":"Q406465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b96836060da055f7156afcc0a95da763753b99","datavalue":{"value":{"amount":"+0.6873255968093872","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":"Q764311$AB983987-2FA3-44CD-A3A5-9AC0D4003A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f11f8f6913d31478bdaae2aa007f373760094e2","datavalue":{"value":{"entity-type":"item","numeric-id":1346622,"id":"Q1346622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c064e56a6efbd22edadd7701893e5519dc7539a9","datavalue":{"value":{"amount":"+0.6854396462440491","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":"Q764311$821BC31F-B06E-4F6C-B6E5-8054A8195D0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic constructions for behavioral specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generic_constructions_for_behavioral_specifications"}}}}}